Default databases: Extending the approach of deductive databases using default logic

Data and Knowledge Engineering

Volumn 26, Issue 2, 1998, Pages 135-160

  Hunter, Anthony ^a   McBrien, Peter ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Data modelling; Deductive databases; Default databases; Default logic; Entity relationship modelling; Incomplete information; Inferential databases; Non monotonic logic; Rule engineering

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; INFORMATION TECHNOLOGY; KNOWLEDGE BASED SYSTEMS;

DEDUCTIVE DATABASES; DEFAULT DATABASES; DEFAULT LOGIC;

RELATIONAL DATABASE SYSTEMS;

EID: 0032095092     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00036-0     Document Type: Article

References (35)

1. C. Ashworth and L. Slater, An introduction to SSADM Version 4, International Series in Software Engineering. McGraw-Hill (1993).
2. P. Besnard, An Introduction to Default Logic, Springer (1989).
3. C. Batini and M. Lenzerini, A methodology for data schema integration in the entity relationship model, IEEE Trans. on Software Engineering 10(6) (November 1984) 650-664.
4. P. Besnard, R Quiniou and P. Quinton, A theorem-prover for a decidable subset of default logic, in Proc. of the National Conf. on Artificial Intelligence (1983) 27-30.
5. G. Brewka, Common-sense Reasoning, Cambridge University Press (1991).
6. S. Brüning and T. Schaub, Using classical theorem-proving techniques for approximate reasoning, in B. Bouchon-Meunier and R Yager (eds.), Proc. 5th Intl. Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU (1994) pp. 493-498.
7. M. Cadoli, T. Eiter and G. Gottlob, Default logic as a query language, in J. Doyle, E. Sandewall and P. Torasso (eds.), Proc. 4th Intl. Conf. Principles of Knowledge Representation and Reasoning, Morgan Kaufmann (1994) pp. 473-484.
8. M.A. Casanova, R. Fagin and C.H. Papadimitriou, Inclusion dependencies and their interaction with functional dependencies, in 1st ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1982), 171-176.
9. P.P. Chen, The Entity-Relationship model - toward a unified view of data, ACM Trans. on Database Systems 1(1) (1976) 9-36.
10. M.A. Casanova and V.M.P. Vidal, Towards a sound view integration methodology, in 2nd ACM SIGACT-SIGMOD Symp. on Principles of Database Systems(1983) pp. 36-47.
11. T. deMarco, Structured Analysis and System Specification, Yourdon Press (1978).
12. R. Elmasri and S. Navathe, Fundamentals of Database Systems, 2nd ed., Benjamin/Cummings (1994).
13. D. Gabbay, C. Hogger and J. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming: Vol. 3-Nonmonotonic Reasoning and Uncertainty Reasoning, Oxford University Press (1994).
14. P. Geerts, E. Laenens and D. Vermeir, Defeasible logics, in Handbook of Defeasible Reasoning and Uncertainty Management, Kluwer (1997).
15. G. Gottlob, Complexity results for non-monotonic logics, J. of Logic and Computation (1992) pp. 397-425.
16. C. Gane and T. Sarson, Structured Systems Analysis: Tools and Techniques, Prentice-Hall (1978).
17. M. Hopkins, Default logic: Orderings and extensions, in Symbolic and Qualitative Approaches to Reasoning and Uncertainty, Vol. 747, Lecture Notes in Computer Science, Springer (1993) pp. 174-179.
18. A. Hunter, Uncertainty in Information Systems, McGraw-Hill (1996).
19. U. Junker and K. Konolige, Computing the extensions of autoepistemic and default logics with a truth maintenance system, in Proc. of the 8th National Conf. on Artificial Intelligence (AAAI'90), MIT Press (1990) pp. 278-283.
20. P. Loucopoulos, P.J. McBrien, F. Schumacker, B. Theodoulidis, V. Kopanas and B. Wangler, Integrating database technology, rule-based systems and temporal reasoning for effective software: The TEMPORA paradigm, J. of Information Systems 1 (2) (1991).
21. T. Linke and T. Schaub, Lemma handling in default logic theorem provers, in C. Froidevaux and J Kohlas (eds.), Symbolic and Qualitative Approaches to Reasoning and Uncertainty, Vol. 946, Lecture Notes in Computer Science, Springer (1995) pp. 285-292.
22. D. McGoveran and C.J. Date, Sybase and SQL Server, Addison Wesley (1992).
23. W. Marek and M. Truszczyński, Nonmonotonic Logic: Context-Dependent Reasoning, Springer-Verlag (1993).
24. I. Niemelä, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, in J. Doyle, E. Sandewall and P. Torasso (eds.), Proceedings 4th Intl. Conf. Principles of Knowledge Representation and Reasoning, Morgan Kaufmann (1994) pp. 473-484.
25. I. Niemelä, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, J. of Automated Reasoning 14 (1995) 3-42.
26. I. Niemelä, Towards efficient default reasoning, in Proc. of the 14th Intl. Joint Conf. on Artificial Intelligence, Morgan Kaufmann (1995) pp. 312-318.
27. I. Niemelä and J. Rintanen, On the impact of stratification on the complexity of nonmonotonic reasoning, in B. Nebel and W. Swartout (eds.), Principles of Knowledge Representation and Reasoning: Proc. 3rd Intl. Conf., Morgan Kaufmann (1992) pp. 627-638.
28. I. Niemelä and P. Simons, Efficient implementation of the well founded and stable model semantics, in M. Maher (ed.), Proc. Joint Intl. Conf. and Symp. on Logic Programming, MIT Press (1996) pp. 289-303.
29. R. Reiter, Default logic, Artificial Intelligence 13 (1980) 81-132.
30. V. Risch and C. Schwind, Tableau-based characterization and theorem proving for default logic, J. of Automated Reasoning 13 (1994) 223-242.
31. T. Schaub and S. Brüning, Prolog technology for default reasoning, in W. Wahlster (ed.), Proc. European Conf. on Artificial Intelligence, John Wiley 1(996) pp. 105-109.
32. T. Schaub, A new methodology for query-answering in default logics via structure-oriented theorem proving, J. of Automated Reasoning 15 (1995) 95-165.
33. T. Schaub and P. Nicolas, An implementation platform for query-answering in default logics: The XRay System, its implementation and evaluation, Vol. 1265, Lecture Notes in Computer Science, Springer (1997).
34. TEMPORA project members, The TEMPORA project manual, Technical Report, BIM S.A. (1993).
35. J.D. Ullman, Principles of Database and Knowledge-Base Systems, Vol. 1, Computer Science Press (1988).