Meta-queries on deductive databases

Fundamenta Informaticae

Volumn 40, Issue 1, 1999, Pages 17-30

  Doherty, Patrick ^a   Kachniarz, Jarosław ^b   Szałas, Andrzej ^c  

^a LINKÖPING UNIVERSITY   (Sweden)

^b Soft Computer Consultants   (United States)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

Knowledge representation; Query languages; Relational databases

Indexed keywords

EID: 0040368700     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-40102     Document Type: Article

References (14)

1. Abiteboul, S., Hull, R., Vianu, V. (1996) Foundations of Databases, Addison-Wesley Pub. Co.
2. Ackermann, W. (1935) Untersuchungen über das Eliminationsproblem der mathematischen Logik, Mathematische Annalen, 110, 390-413.
3. Doherty, P., Łukaszewicz, W., Szałas, A. (1997) Computing Circumscription Revisited. A Reduction Algorithm, Journal of Automated Reasoning, 18, 3, 297-336 .
4. Doherty, P., Łukaszewicz, W., Szałas, A. (1996) A Reduction Result for Circumscribed Semi-Horn Formulas, Fundamenta Informaticae, 28, 3-4, 261-272.
5. Doherty, P., Łukaszewicz, W., Szałas, A. (1998) General Domain Circumscription and its Effective Reductions, Fundamenta Informaticae, 36, 1, 23-55
6. Doherty, P., Łukaszewicz, W., Szałas, A. (1999) Declarative PTIME Queries for Relational Databases using Quantifier Elimination, Journal of Logic and Computation, 9, 739-761.
7. Ebbinghaus, H.-D., Flum, J. (1995) Finite Model Theory, Springer-Verlag.
8. Immerman, N. (1986) Relational Queries Computable in Polynomial Time, Information and Control, 68, 86-104.
9. McCarthy, M., Sato, M., Hayashi, T., Igarashi, S. (1978) On the Model Theory of Knowledge, Stanford Artificial Intelligence Laboratory, Memo AIM-312, Stanford University.
10. Nonnengart, A., Szałas, A. (1998) A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory, in: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, E. Orłowska (ed.), Physica Verlag, 89-108.
11. Ohlbach, H. J. (1984) Predicate Logic Hacker Tricks, Journal of Automated Reasoning 1, pp,435-440.
12. Miller, M., Perlis, D. (1987) Proving Self-Utterances, Journal of Automated Reasoning (3)3, 329-338.
13. Smullyan, R. (1978) What is the Name of This Book?, Prentice Hall, Englewood Cliffs, New Jersey.
14. Thayse, A. (ed.) (1989) From Modal Logic to Deductive Databases - Introducing a Logic Based Approach to Artificial Intelligence, John Wiley & Sons.