Bibliography

1

Ivan Bratko.
Prolog Programming for Artificial Intelligence.
Addison Wesley, 1986.

2

E. F. Codd.
A relational model of data for large shared data banks.
CACM, 13(6):377-387, 1970.

3

Thomas Connolly, Carolyn Begg, and Anne Strachan.
Database Systems, A practical approach to Design, Implementation, and Management.
Addison-Wesley, 2nd edition, 1999.

4

Michael A. Covington, Donald Nute, and André Vellino.
Prolog programming in depth.
Prentice-Hall, 1997.

5

Marcia A. Derr, Shinichi Morishita, and Geoffrey Phipps.
The glue-nail deductive database system: Design, implementation, and evaluation.
VLDB Journal, 3(2):123-160, 1994.

6

Ramez Elmasri and Shamkant B. Navathe.
Fundamentals of Database Systems.
Addison Wesley, 2000.

7

H. Garcia-Molina, J. D. Ullman, and J. Widom.
Database Systems, the complete book.
Prentice Hall, 2002.

8

Free Software Foundation Inc.
Gnu general public license, 1989,1991.

9

Jay Liebowitz.
Introduction to Expert Systems.
Mitchell Publishing, 1988.

10

Jay Liebowitz.
The Handbook of Applied Expert Systems.
CRC Press, Boca Raton, 1998.

11

Antoni Ligeza, Grzegorz Nalepa, and Igor Wojnicki.
Analysis of selected problems of design and implementation of real-time rule-based systems on the base of kheops system (in polish).
In T. Szmuc and R. Klimek, editors, Real Time Systems 2000, pages 53-64. Institute of Automatics AGH, Cracow, 2000.

12

Antoni Ligeza, Igor Wojnicki, and Grzegorz Nalepa.
Design and implementation support of rule-based systems (in polish).
In K. Zielinski, editor, II Polish National Conference on Software Engineering, pages 229-236. AGH, Zakopane/Cracow, 2000.

13

Antoni Ligęza.
An introduction to knowledge-based process monitoring, supervision and diagnosis. basic ideas, problems and theoretical foundations. working notes.
1997.

14

Antoni Ligęza, Igor Wojnicki, and Grzegorz J. Nalepa.
Tab-trees: a case tool for the design of extended tabular systems.
In Proceedings of the 12th international conference, DEXA 2001, Database and expert systems applications, Munich, 2001.

15

D. Maier and D. S. Warren.
Computing with logic, Logic Programming with Prolog.
The Benjamin/Cummings, 1988.

16

Srini Venigalla Netsetgo.
Expanding recursive opportunities with sql udfs in db2 v7.2.
Technical report, International Business Machines Corporation, 2002.

17

Ulf Nilsson and Jan Mauszynski.
Logic, Programming and Prolog.
John Wiley & Sons, 1990.

18

The PostgreSQL Global Development Group, http://www.postgresql.org/docs/.
PostgreSQL Documentation.

19

Alun D. Preece and et al.
Verifying rule-based systems.
Technical Report, page 25 pp., 1991.

20

Alun D. Preece and Rajjan Shinghal.
Foundation and application of knowledge base verification.
Technical Report, page 26 pp., 1994.

21

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, and Praveen Seshadri.
The CORAL deductive system.
VLDB Journal: Very Large Data Bases, 3(2):161-210, 1994.

22

Jeffrey D. Ullman.
Principles of Database and Knowledge-Base Systems.
Computer Science Press, 1988.

23

Jeffrey D. Ullman and Jennifer Widom.
A first course in Database systems.
Prentice-Hall Inc., 1997.

24

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, and James Harland.
The aditi deductive database system.
Technical report, University of Melbourne, 1994.

25

Ioannis Vlahavas and Nick Bassiliades.
Parallel Object-Oriented, and Active Knowledge Base Systems.
Kluwer Academic Publishers, 1998.

26

Jan Wielemaker.
SWI-Prolog Reference Manual.
Dept. of Social Science Informatics, University of Amsterdam, 2002.

27

Igor Wojnicki.
Design and implementation of a graphical user interface for computer aided logical design of kheops knowledge based system.
Master's thesis, AGH University of Science and Technology, 2000.

28

Igor Wojnicki and Cezary Z. Janikow.
Extending data processing capabilities of relational database management systems.
In H.R. Arabnia, Rose Joshua, and Youngsong Mun, editors, International Conference on Artificial Intelligence, volume I, pages 388-393, Las Vegas, Nevada, USA, 2003. CSREA Press.

29

Igor Wojnicki and Antoni Ligeza.
An inference engine for rdbms.
In 6th International Conference on Soft Computing and Distributed Processing, Rzeszów, Poland, 2002.

30

John Worsley and Joshua Drake.
Practical PostgreSQL.
O'Reilly & Associates, 2002.