3 research outputs found
Perspectives in deductive databases
AbstractI discuss my experiences, some of the work that I have done, and related work that influenced me, concerning deductive databases, over the last 30 years. I divide this time period into three roughly equal parts: 1957β1968, 1969β1978, 1979βpresent. For the first I describe how my interest started in deductive databases in 1957, at a time when the field of databases did not even exist. I describe work in the beginning years, leading to the start of deductive databases about 1968 with the work of Cordell Green and Bertram Raphael. The second period saw a great deal of work in theorem providing as well as the introduction of logic programming. The existence and importance of deductive databases as a formal and viable discipline received its impetus at a workshop held in Toulouse, France, in 1977, which culminated in the book Logic and Data Bases. The relationship of deductive databases and logic programming was recognized at that time. During the third period we have seen formal theories of databases come about as an outgrowth of that work, and the recognition that artificial intelligence and deductive databases are closely related, at least through the so-called expert database systems. I expect that the relationships between techniques from formal logic, databases, logic programming, and artificial intelligence will continue to be explored and the field of deductive databases will become a more prominent area of computer science in coming years
Data bases and data base systems related to NASA's aerospace program. A bibliography with indexes
This bibliography lists 1778 reports, articles, and other documents introduced into the NASA scientific and technical information system, 1975 through 1980
SQUALID: A deductive DBMS
Most modern companies probably could not function without a database management system (DBMS). Although current DBMSs are becoming increasingly sophisticated, they are still deficient in several areas. One of these areas is deduction.
Human beings have the interesting ability to derive facts from a set of data, even though these facts are not explicitly represented in the data. That is, given appropriate information, humans can deduce new information by applying rules. A deductive database is a database which can perform similar deductions on the data stored within it. This has the advantage that some data can be stored implicitly using rules, rather than explicitly. This reduces the amount of storage the database occupies. The use of rules also allows us to store new kinds of data, such as recursive data or indefinite data.
Several deductive database systems have been developed, but many of them only approach the problem from a theoretical point of view; practical considerations such as efficiency and ease of use for end-users have often been neglected. Many systems were also developed completely from scratch, rather than taking advantage of existing facilities. That is, it should be possible to take an existing DBMS, and extend it with deductive capabilities.
In this work we introduce the concept of a deductive database, and some of the problems associated with implementing such a system. We then discuss the implementation of a system called SQUALID (for Structured Query And Logical Inference Database). This system is based on an existing DBMS, Rdb/VMS, which has been extended with facilities for creating and manipulating rules. An extended version of the standard query language SQL is used. All rules and data are stored in a conventional database, allowing SQUALID to take advantage of the efficiency of the underlying DBMS.Unpublished[Agrawal 1988] R. Agrawal. Alpha: An extension of relational algebra to express a class of recursive queries. IEEE Transactions on Software Engineering, 14(7), 1988.
[Bancilhon and Ramakrishnan 1986] F. Bancilhon and R. Ramakrishnan. An amateurβs introduction to recursive query processing strategies. In Proc. SIGMOD β86, pages 16β52, Washington, 1986.
[Bancilhon et al. 1986] F. Bancilhon, D. Maier, Y. Sagiv and J.D. Ullman. Magic sets and other strange ways to implement logic programs. In Proc. 5th ACM SIGMODSIGACT Symposium on Principles of Database Systems, pages 1β15, Cambridge, 1986.
[Bell et al. 1990] D.A. Bell, J. Shao and M.E.C Hull. Integrated deductive database system implementation: A systematic study, The Computer Journal, 33(1):40β48, 1990.
[Boas and Boas 1986] G. van Emde Boas and P. van Emde Boas. Storing and evaluating Hornclause rules in a relational database. IBM Journal of Research and Development, 30(1):80β92, 1986.
[Bossu and Siegel 1984] G. Bossu and P. Siegel. Nonmonotonic reasoning and databases. In H. Gallaire et al., editors, Advances in Database Theory, Volume 2, pages 239β284. Plenum, New York, 1984.
[Bossu and Siegel 1985] G. Bossu and P. Siegel. Saturation, nonmonotonic reasoning and the closed-world assumption. Artificial Intelligence, 25:13β63, 1985.
[Bratko 1986] I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley, Reading, Mass., 1986.
[Chamberlin and Boyce 1974] D.D. Chamberlin and R.F. Boyce. SEQUEL: A structured English query language. In Proc. ACM SIGMOD Workshop on Data Description, Access and Control, Ann Arbor, Mich., 1974.
[Chang 1978] C.L. Chang. DEDUCE 2: Further investigations of deduction in relational databases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 291β236, Plenum, New York, 1978.
[Cheiney and de Maindreville 1989] J.-P. Cheiney and C. de Maindreville. Relational storage and efficient retrieval of rules in a deductive DBMS. In Proc. 5th International Conference on Data Engineering, pages 644β651, Los Angeles, U.S.A. IEEE Computer Society Press, Washington D.C., 1989.
[Chisholm et al. 1987] P. Chisholm, D. Chen, P. Ferbrache, P. Thanisch and M.H. Williams. Coping with indefinite and negative data in deductive databases: A survey. Data and Knowledge Engineering, 2:259β284, 1987.
[Clark 1978] K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293β322, Plenum, New York, 1978.
[Codd 1970] E.F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377β387, 1970.
[Dahl 1982] V. Dahl. On database systems development through logic. ACM Transactions on Database Systems, 7(1):102β123, 1982.
[Date 1981] C.J. Date. An Introduction to Database Systems. Addison-Wesley, Reading, Mass., 3rd edition, 1981.
[Date 1986] C.J. Date. Relational Database: Selected Writings. Addison-Wesley, Reading, Mass., 1986.
[Date 1987] C.J. Date. A Guide to the SQL Standard. Addison-Wesley, Reading, Mass., 1987.
[Date 1990] C.J. Date. An Introduction to Database Systems, Volume 1. Addison-Wesley, Reading, Mass., 5th edition, 1990.
[DEC 1989a] VAX Rdb/VMS Guide to Using SQL. Digital Equipment Corporation, 1989.
[DEC 1989b] VAX Rdb/VMS SQL Reference Manual. Digital Equipment Corporation, 1989.
[Gabbay and Sergot 1986] D.M. Gabbay and M.J. Sergot. Negation and inconsistency, I. Journal of Logic Programming, 3(1):1β35, 1986.
[Gallaire and Minker 1978] H. Gallaire and J. Minker. Logic and Data Bases. Plenum, New York, 1978.
[Gallaire et al. 1984] H. Gallaire, J. Minker and J.-M. Nicolas. Logic and databases: A deductive approach. ACM Computing Surveys, 16(2):153β185, 1984.
[Gardarin 1987] G. Gardarin. Magic functions: A technique to optimize extended Datalog recursive programs. In Proc. 13th Very Large Data Bases Conference, pages 21β30, Brighton, 1987.
[Grant and Minker 1986] J. Grant and J. Minker. Answering queries in indefinite databases and the null value problem. Advances in Computing Research, 3:247β257, 1986.
[Gurk and Minker 1961] H. Gurk and J. Minker. The design and simulation of an information processing system. Journal of the ACM, 8(2):260β270, 1961.
[Helman and Veroff 1988] P. Helman and R. Veroff. Designing deductive databases. Journal of Automated Reasoning, 4:29β68, 1988.
[Henschen and Naqvi 1984] L. Henschen and S. Naqvi. On compiling queries in recursive first-order databases. Journal of the ACM, 31(1):47β85, 1984.
[Kellogg et al. 1978] C. Kellogg, P. Klahr and L. Travis. Deductive planning and pathfinding for relational data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 179β200, Plenum, New York, 1978.
[Kowalski 1974] R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP 4, pages 569β574, Amsterdam, 1974.
[Kowalski 1978] R. Kowalski. Logic for data description. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 77β103. Plenum, New York, 1978.
[Lifschitz 1985] V. Lifschitz. Closed world databases and circumscription. Artificial Intelligence, 27:229β235, 1985.
[Lloyd 1984] J.W. Lloyd. Foundations of Logic Programming. Springer, 1984.
[Lloyd and Topor 1984] J.W. Lloyd and R.W. Topor. Making PROLOG more expressive. Journal of Logic Programming, 1(3):225β240, 1984.
[Lloyd and Topor 1985] J.W. Lloyd and R.W. Topor. A basis for deductive databases, I. Journal of Logic Programming, 2(2):93β109, 1985.
[Lloyd and Topor 1986] J.W. Lloyd and R.W. Topor. A basis for deductive databases, II. Journal of Logic Programming, 3(1):55β67, 1986.
[McCarthy 1980a] J. McCarthy. Circumscriptionβa form of non-monotonic reasoning. Artificial Intelligence, 13:27β39, 1980.
[McCarthy 1980b] J. McCarthy. Circumscription and other non-monotonic formalisms. Artificial Intelligence, 13:171β172, 1980.
[Mendelson 1979] E. Mendelson. Introduction to Mathematical Logic. D. van Nostrand, Princeton, 2nd edition, 1979.
[Minker 1978] J. Minker. An experimental relational database system based on logic. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 107β147. Plenum, New York, 1978.
[Minker 1982] J. Minker, On indefinite databases and the closed world assumption. In Proc. 6th International Conference on Automated Deduction, pages 292β308. Springer-Verlag, 1982. (Springer-Verlag Lecture Notes in Computer Science, Vol. 138.)
[Minker 1983] J. Minker. On deductive relational databases. In Proc. 5th International Conference on Collective Phenomena, pages 181β200, 1983. (Annals of the New York Academy of Science, Vol. 410.)
[Minker 1988] J. Minker. Perspectives in deductive databases. Journal of Logic Programming, 5(1):33β60, 1988.
[Naish and Thom 1983] L. Naish and J.A. Thom. The MU-Prolog deductive database. Technical Report 83/10, Dept. of Computer Science, University of Melbourne, 1983. (Springer-Verlag Lecture Notes in Computer Science, Vol. 138.)
[Nicolas and Gallaire 1978] J.-M. Nicolas and H. Gallaire. Data base: Theory vs. interpretation. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 33-54. Plenum, New York, 1978.
[Nicolas and Yazdanian 1982] J.-M. Nicolas and K. Yazdanian. An outline of BDGEN: A deductive DBMS. In Proceedings of IFIP 83 Congress, pages 711β717, North-Holland, Amsterdam, 1983.
[Pratt 1990] P.J. Pratt. A Guide to SQL. Boyd & Fraser, Boston, 1990.
[Przymusinski 1986a] T.C. Przymusinski. On the semantics of stratified deductive databases. In J. Minker, editor, Proc. Workshop on Foundations of Deductive Databases and Logic Programming, pages 433β443, Washington, 1986.
[Przymusinski 1986b] T.C. Przymusinski. A query answering algorithm for circumscriptive theories. In Proc. ACM SIGART International Symposium on Methodologies for Intelligent Systems, pages 85β93, Knoxville, Tenn., 1986.
[Reiter 1978] R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 33β54. Plenum, New York, 1978.
[Reiter 1982] R. Reiter. Circumscription implies predicate completion (sometimes). In Proc. International Joint Conference on Artificial Intelligence, pages 418β420, 1982.
[Reiter 1984] R. Reiter. Towards a logical reconstruction of relational database theory. In M.L. Brodie, J.L. Mylopoulos and J.W. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, pages 191β238. Springer-Verlag, 1984.
[Robinson 1965] J.A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23β41, 1965.
[Small 1988] C. Small. The implementation of the Exegesis system. The Computer Journal, 31(2):125β132, 1988.
[Spyratos 1987] N. Spyratos. The partition model: A deductive database model. ACM Transactions on Database Systems, 12(1):1β37, 1987.
[Tsang 1990] Personal communication.
[Yahya and Henschen 1985] H. Yahya and L.J. Henschen. Deduction in non-Horn databases. Journal of Automated Reasoning, 1:141β160, 1985