Deductive database languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Deductive database languages: problems and solutions

Full text

Pdf (254 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 31 , Issue 1 (March 1999) table of contents

Pages: 27 - 62

Year of Publication: 1999

ISSN:0360-0300

Author

Mengchi Liu

Univ. of Regina, Regina, Sask., Canada

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 66, Downloads (12 Months): 252, Citation Count: 10

Additional Information:

abstract references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/311531.311533 What is a DOI?

ABSTRACT

Deductive databases result from the integration of relational database and logic programming techniques. However, significant problems remain inherent in this simple synthesis from the language point of view. In this paper, we discuss these problems from four different aspects: complex values, object orientation, higher-orderness, and updates. In each case, we examine four typical languages that address the corresponding issues.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	S. Abiteboul, Updates, a new frontier, Lecture notes in computer science on ICDT '88, p.1-18, October 1988, Bruges, Belgium
	2	Serge Abiteboul , Catriel Beeri, The power of languages for the manipulation of complex values, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.4, p.727-794, October 1995 [doi>10.1007/BF01354881]
	3	Papers from the Workshop ``Theory and Applications of Nested Relations and Complex Objects' on Nested Relations and Complex Objects, April 1987
	4	Serge Abiteboul , Stéphane Grumbach, A rule-based language with functions and sets, ACM Transactions on Database Systems (TODS), v.16 n.1, p.1-30, March 1991 [doi>10.1145/103140.103141]
	5	Serge Abiteboul , Richard Hull, IFO: a formal semantic database model, ACM Transactions on Database Systems (TODS), v.12 n.4, p.525-565, Dec. 1987 [doi>10.1145/32204.32205]
	6	Serge Abiteboul , Richard Hull , Victor Vianu, Foundations of Databases: The Logical Level, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	7	Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.159-173, June 1989, Portland, Oregon, United States
	8	Serge Abiteboul , Victor Vianu, Datalog extensions for database queries and updates, Journal of Computer and System Sciences, v.43 n.1, p.62-124, Aug. 1991 [doi>10.1016/0022-0000(91)90032-Z]
	9	Hassan Aït-Kaci, An introduction to LIFE-programming with logic, inheritance, functions, and equations, Proceedings of the 1993 international symposium on Logic programming, p.52-68, December 1993, Vancouver, British Columbia, Canada
	10	H Aït-Kaci , R Nasr, Login: A logic programming language with built-in inheritance, Journal of Logic Programming, v.3 n.3, p.185-215, Oct. 1986 [doi>10.1016/0743-1066(86)90013-0]
	11	Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
	12	Antonio Albano , Giorgio Ghelli , Renzo Orsini, Fibonacci: a programming language for object databases, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
	13	K. R. Apt , H. A. Blair , A. Walker, Towards a theory of declarative knowledge, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	14	Francois Bancilhon , David Maier , Yehoshua Sagiv , Jeffrey D Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.1-15, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15399]
	15	Francois Bancilhon , Raghu Ramakrishnan, An amateur's introduction to recursive query processing strategies, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.16-52, May 28-30, 1986, Washington, D.C., United States
	16	Monica D. Barback , Jorge Lobo , James J. Lu, Minimizing Indefinite Information in Disjunctive Deductive Databases, Proceedings of the 4th International Conference on Database Theory, p.246-260, October 14-16, 1992
	17	BEERI, C. 1989. Formal Models for Object-Oriented Databases. In Proceedings of the International Conference on Deductive and Object- Oriented Databases (Kyoto, Japan), W. Kim, J. Nicolas, and S. Nishio, Eds. North-Holland Publishing Co., Amsterdam, The Netherlands, 405-430.
	18	C. Beeri, A formal approach to object-oriented databases, Data & Knowledge Engineering, v.5 n.4, p.353-382, Oct. 1990 [doi>10.1016/0169-023X(90)90020-E]
	19	Catriel Beeri , Shamim Naqvi , Oded Shmueli , Shalom Tsur, Set constructors in a logic database language, Journal of Logic Programming, v.10 n.3-4, p.181-232, April/May 1991 [doi>10.1016/0743-1066(91)90036-O]
	20	Catriel Beeri , Raghu Ramakrishnan, On the power of magic, Journal of Logic Programming, v.10 n.3-4, p.255-299, April/May 1991 [doi>10.1016/0743-1066(91)90038-Q]
	21	Elisa Bertino , Danilo Montesi, Towards a Logical-Object Oriented Programming Language for Databases, Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology, p.168-183, March 23-27, 1992
	22	A. J. Bonner, Hypothetical datalog negation and linear recursion, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.286-300, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73750]
	23	Anthony J. Bonner, Hypothetical datalog: complexity and expressibility, Theoretical Computer Science, v.76 n.1, p.3-51, Oct. 31, 1990 [doi>10.1016/0304-3975(90)90011-6]
	24	Anthony J. Bonner , Michael Kifer, Transaction logic programming, Proceedings of the tenth international conference on logic programming on Logic programming, p.257-279, August 1993, Budapest, Hungary
	25	Anthony J. Bonner , Michael Kifer, An overview of transaction logic, Theoretical Computer Science, v.133 n.2, p.205-265, Oct. 24, 1994 [doi>10.1016/0304-3975(94)90190-2]
	26	Anthony J. Bonner , Michael Kifer , Mariano P. Consens, Database Programming in Transaction Logic, Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, p.309-337, August 30-September 01, 1993
	27	A. Borgida, Modeling class hierarchies with contradictions, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.434-443, June 01-03, 1988, Chicago, Illinois, United States
	28	BRODIE, M. 1984. On the development of data models. In On Conceptual Modelling, M. Brodie, J. Mylopoulos, and J. Schmidt, Eds. Springer-Verlag, New York, NY, 19- 48.
	29	Alexander Brodsky , Joxan Jaffar , Michael J. Maher, Toward Practical Constraint Databases, Proceedings of the 19th International Conference on Very Large Data Bases, p.567-580, August 24-27, 1993
	30	François Bry, Intensional updates: abduction via deduction, Logic programming, MIT Press, Cambridge, MA, 1990
	31	F. Cacace , S. Ceri , S. Crespi-Reghizzi , L. Tanca , R. Zicari, Integrating object-oriented data modelling with a rule-based programming paradigm, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.225-236, May 23-26, 1990, Atlantic City, New Jersey, United States
	32	Michael J. Carey , David J. DeWitt, A data model and query language for EXODUS, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.413-423, June 01-03, 1988, Chicago, Illinois, United States
	33	Roderick G. Cattell , Tom Atwood, Object Database Standard: ODMG-93, Release 1.2, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1995
	34	Stefano Ceri , Georg Gottlob , Letizia Tanca, Logic programming and databases, Springer-Verlag New York, Inc., New York, NY, 1990
	35	Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
	36	CHEN, O. AND CHU, W. 1989. HILOG: A High- Order Logic Programming Language for Non- 1NF Deductive Databases. In Proceedings of the International Conference on Deductive and Object-Oriented Databases (Kyoto, Japan), W. Kim, J. Nicolas, and S. Nishio, Eds. North- Holland Publishing Co., Amsterdam, The Netherlands, 431-452.
	37	Qiming Chen , Yahiko Kambayashi, Nested relation based database knowledge representation, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.328-337, May 29-31, 1991, Denver, Colorado, United States
	38	Weidong Chen, Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning, IEEE Transactions on Knowledge and Data Engineering, v.9 n.4, p.587-599, July 1997 [doi>10.1109/69.617052]
	39	Weidong Chen , Michael Kifer , David S. Warren, HILOG: a foundation for higher-order logic programming, Journal of Logic Programming, v.15 n.3, p.187-230, Feb. 1993 [doi>10.1016/0743-1066(93)90039-J]
	40	W. Chen , D. S. Warren, C-logic of complex objects, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.369-378, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73757]
	41	D. Chimenti , R. Gamboa , R. Krishnamurthy , S. Naqvi , S. Tsur , C. Zaniolo, The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, v.2 n.1, p.76-90, March 1990 [doi>10.1109/69.50907]
	42	E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
	43	E. F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems (TODS), v.4 n.4, p.397-434, Dec. 1979 [doi>10.1145/320107.320109]
	44	Latha S. Colby, A recursive algebra and query optimization for nested relations, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.273-283, June 1989, Portland, Oregon, United States
	45	Alain Colmerauer, Prolog in 10 figures, Communications of the ACM, v.28 n.12, p.1296-1310, Dec. 1985 [doi>10.1145/214956.214958]
	46	Christophe de Maindreville , Eric Simon, Modelling Non Deterministic Queries and Updates in Deductive Databases, Proceedings of the 14th International Conference on Very Large Data Bases, p.395-406, August 29-September 01, 1988
	47	Marcia A. Derr , Shinichi Morishita , Geoffrey Phipps, Design and implementation of the glue-nail database system, Proceedings of the 1993 ACM SIGMOD international conference on Management of data, p.147-156, May 25-28, 1993, Washington, D.C., United States
	48	O. Deux, The O2 system, Communications of the ACM, v.34 n.10, p.34-48, Oct. 1991 [doi>10.1145/125223.125238]
	49	DOVIER, A., OMODEO, E., PONTELLI, E., AND ROSSI, G. 1996. {log}: A Language for Programming in Logic with Finite Sets. J. Logic Program. 28, 1, 1-44.
	50	José Alberto Fernández , Jack Minker, Semantics of Disjunctive Deductive Databases, Proceedings of the 4th International Conference on Database Theory, p.21-50, October 14-16, 1992
	51	José Alberto Fernández , Jack Minker, Disjunctive Deductive Databases, Proceedings of the International Conference on Logic Programming and Automated Reasoning, p.332-356, July 15-20, 1992
	52	FISHMAN, D. H., B., B., CATE, H. P., CHOW, E. C., CONNORS, T., DAVIS, J. W., DERRETT, N., HOCH, C. G., KENT, W., LYNGBAEK, P., MAHBOD, B., NEIMAT, M. A., RYAN, T. A., AND SHAN, M. C. 1987. Iris: An object-Oriented Database Management System. ACM Trans. Off. Inf. Syst. 5, 1, 48-69.
	53	Burkhard Freitag , Heribert Schütz , Günther Specht, LOLA - A Logic Language for Deductive Databases and its Implementation, Proceedings of the Second International Symposium on Database Systems for Advanced Applications, p.216-225, April 02-04, 1991
	54	Jürgen Frohn , Rainer Himmeröder , Paul-Thomas Kandzia , Georg Lausen , Christian Schlepphorst, FLORID: A Prototype for F-Logic, Proceedings of the Thirteenth International Conference on Data Engineering, p.583, April 07-11, 1997
	55	GALLAIRE, H. 1981. Impacts of Logic on Data Bases. In Proceedings of the International Conference on Very Large Data Bases (Cannes, France). IEEE Computer Society, New York, NY, 248-259.
	56	Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
	57	Herve Gallaire , Jack Minker , Jean-Marie Nicolas, Logic and Databases: A Deductive Approach, ACM Computing Surveys (CSUR), v.16 n.2, p.153-185, June 1984 [doi>10.1145/356924.356929]
	58	GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming (Washington, DC). MIT Press, Cambridge, MA, 1070-1080.
	59	John Grant , Jack Minker, The impact of logic programming on databases, Communications of the ACM, v.35 n.3, p.66-81, March 1992 [doi>10.1145/131295.131297]
	60	Stéphane Grumbach , Jianwen Su, Towards practical constraint databases (extended abstract), Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.28-39, June 04-06, 1996, Montreal, Quebec, Canada [doi>10.1145/237661.237672]
	61	Michael Hammer , Dennis Mc Leod, Database description with SDM: a semantic database model, ACM Transactions on Database Systems (TODS), v.6 n.3, p.351-386, Sept. 1981 [doi>10.1145/319587.319588]
	62	Jiawei Han , Ling Liu , Zhaohui Xie, LogicBase: a deductive database system prototype, Proceedings of the third international conference on Information and knowledge management, p.226-233, November 29-December 02, 1994, Gaithersburg, Maryland, United States [doi>10.1145/191246.191285]
	63	David Harel, First-Order Dynamic Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	64	Andreas Heuer , Peter Sander, The LIVING IN A LATTICE rule language, Data & Knowledge Engineering, v.9 n.3, p.249-286, Jan. 1993 [doi>10.1016/0169-023X(93)90010-M]
	65	Patricia Hill , John Lloyd, The Go¨del programming language, MIT Press, Cambridge, MA, 1994
	66	INOUE, K. 1994. Hypothetical Reasoning in Logic Programs. J. Logic Program. 18, 3, 197-227.
	67	Yannis E. Ioannidis , Raghu Ramakrishnan, Efficient Transitive Closure Algorithms, Proceedings of the 14th International Conference on Very Large Data Bases, p.382-394, August 29-September 01, 1988
	68	Hiroshi Ishikawa , Fumio Suzuki , Fumihiko Kozakura , Akifumi Makinouchi , Mika Miyagishima , Yoshio Izumida , Masaaki Aoshima , Yasuo Yamane, The model, language, and implementation of an object-oriented multimedia knowledge base management system, ACM Transactions on Database Systems (TODS), v.18 n.1, p.1-50, March 1993 [doi>10.1145/151284.151285]
	69	Barry E. Jacobs, On Database Logic, Journal of the ACM (JACM), v.29 n.2, p.310-332, April 1982 [doi>10.1145/322307.322310]
	70	JAFFAR, J. AND MAHER, M. 1994. Constraint logic programming: A survey. J. Logic Program. 19-20, 503-581.
	71	Matthias Jarke , Rainer Gallersdörfer , Manfred A. Jeusfeld , Martin Staudt , Stefan Eherer, ConceptBase—a deductive object base for meta data management, Journal of Intelligent Information Systems, v.4 n.2, p.167-192, March 1995 [doi>10.1007/BF00961873]
	72	Bharat Jayaraman, Implementation of subset-equational programs, Journal of Logic Programming, v.12 n.4, p.299-324, April 1992 [doi>10.1016/0743-1066(92)90005-N]
	73	Bin Jiang, A Suitable Algorithm for Computing Partial Transitive Closures in Databases, Proceedings of the Sixth International Conference on Data Engineering, p.264-271, February 05-09, 1990
	74	A. C. Kakas , P. Mancarella, Database updates through abduction, Proceedings of the sixteenth international conference on Very large databases, p.650-661, September 1990, Brisbane, Australia
	75	Werner Kießling , Helmut Schmidt , Werner Strauß , Gerhard Dünzinger, DECLARE and SDS: early efforts to commercialize deductive database technology, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
	76	Michael Kifer , Georg Lausen, F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.134-146, June 1989, Portland, Oregon, United States
	77	Michael Kifer , Georg Lausen , James Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM (JACM), v.42 n.4, p.741-843, July 1995 [doi>10.1145/210332.210335]
	78	Michael Kifer , James Wu, A logic for programming with complex objects, Journal of Computer and System Sciences, v.47 n.1, p.77-120, Aug. 1993
	79	Won Kim, Introduction to object-oriented databases, MIT Press, Cambridge, MA, 1991
	80	W. Kim, Object-Oriented Databases: Definition and Research Directions, IEEE Transactions on Knowledge and Data Engineering, v.2 n.3, p.327-341, September 1990 [doi>10.1109/69.60796]
	81	Robert A. Kowalski, The early years of logic programming, Communications of the ACM, v.31 n.1, p.38-43, Jan. 1988 [doi>10.1145/35043.35046]
	82	Robert Kowalski, Database updates in the event calculus, Journal of Logic Programming, v.12 n.1-2, p.121-146, Jan. 1992 [doi>10.1016/0743-1066(92)90041-Z]
	83	Ravi Krishnamurthy , Shamim A. Naqvi, Towards a Real Horn Clause Language, Proceedings of the 14th International Conference on Very Large Data Bases, p.252-263, August 29-September 01, 1988
	84	Gabriel M. Kuper, Logic programming with sets, Journal of Computer and System Sciences, v.41 n.1, p.44-64, August 1990 [doi>10.1016/0022-0000(90)90033-H]
	85	C. Lécluse , P. Richard, The O2 database programming language, Proceedings of the 15th international conference on Very large data bases, p.423-432, July 1989, Amsterdam, The Netherlands
	86	Mark Levene , George Loizou, Semantics for null extended nested relations, ACM Transactions on Database Systems (TODS), v.18 n.3, p.414-459, Sept. 1993 [doi>10.1145/155271.155275]
	87	LIu, M. 1995. Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract). In Proceedings of the International Symposium on Logic Programming (ILPS '95, Portland, Oregon, Dec. 4-7). MIT Press, Cambridge, MA, 83-97.
	88	Mengchi Liu, ROL: a deductive object base language, Information Systems, v.21 n.5, p.431-457, July 1996 [doi>10.1016/0306-4379(96)84500-5]
	89	Mengchi Liu, An Overview of the Rule-Based Object Language, Journal of Intelligent Information Systems, v.10 n.1, p.5-29, Jan./Feb., 1998 [doi>10.1023/A:1008609906090]
	90	LIu, M. 1998b. Relationlog: A Typed Extension to Datalog with Sets and Tuples. J. Logic Program. 36, 3, 271-299.
	91	Mengchi Liu , Riqiang Shan, Design and Implementation of the Relationlog Deductive Database System, Proceedings of the 9th International Workshop on Database and Expert Systems Applications, p.856, August 26-28, 1998
	92	Mengchi Liu , Weidong Yu , Min Guo , Riqiang Shan, ROL: A Prototype for Deductive and Object-Oriented Databases (Demo), Proceedings of the Fourteenth International Conference on Data Engineering, p.598, February 23-27, 1998
	93	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	94	Yanjun Lou , Z. Meral Ozsoyoglu, LLO: an object-oriented deductive language with methods and method inheritance, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.198-207, May 29-31, 1991, Denver, Colorado, United States
	95	David Maier, Theory of Relational Databases, Computer Science Pr, 1983
	96	MAIER, D. 1986. A logic for objects. Technical Report CS/E-86-012. Oregon Graduate Center, Beaverton, Oregon.
	97	MAIER, D. 1987. Why Database Languages are a Bad Idea. In Proceedings of the Workshop on Database Programming Languages (Roscoff, France).
	98	David Maier , Jacob Stein , Allen Otis , Alan Purdy, Development of an object-oriented DBMS, Conference proceedings on Object-oriented programming systems, languages and applications, p.472-482, September 29-October 02, 1986, Portland, Oregon, United States
	99	S. Manchanda, Declarative expression of deductive database updates, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.93-100, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73730]
	100	S. Manchanda , D. S. Warren, A logic-based language for database updates, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	101	Danilo Montesi , Elisa Bertino , Maurizio Martelli, Transactions and Updates in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.9 n.5, p.784-797, September 1997 [doi>10.1109/69.634755]
	102	Katherine Morris , Jeffrey D Ullman , Allen Van Gelder, Design overview of the NAIL] system, Proceedings on Third international conference on logic programming, p.554-568, September 1986, London, United Kingdom
	103	Moss, C. 1994. Prolog++. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
	104	Inderpal Singh Mumick , Sheldon J. Finkelstein , Hamid Pirahesh , Raghu Ramakrishnan, Magic conditions, ACM Transactions on Database Systems (TODS), v.21 n.1, p.107-155, March 1996 [doi>10.1145/227604.227624]
	105	John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
	106	NAISH, L., THOM, L., AND RAMAMOHANARAO, K. 1987. Concurrent Database Updates in Prolog. In Proceedings of the International Conference on Logic Programming (Melbourne, Australia). MIT Press, Cambridge, MA, 178-189.
	107	Shamim Naqvi , Ravi Krishnamurthy, Database updates in logic programming, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.251-262, March 1988, Austin, Texas, United States [doi>10.1145/308386.308451]
	108	S. Naqvi , S. Tsur, A logical language for data and knowledge bases, Computer Science Press, Inc., New York, NY, 1989
	109	Z. Meral Ozsoyoglu , Li-Yan Yuan, A new normal form for nested relations, ACM Transactions on Database Systems (TODS), v.12 n.1, p.111-136, March 1987 [doi>10.1145/12047.13676]
	110	T. C. Przymusinski, On the declarative semantics of deductive databases and logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	111	Teodor C. Przymusinski, Extended stable semantics for normal and disjunctive programs, Logic programming, MIT Press, Cambridge, MA, 1990
	112	Raghu Ramakrishnan, Applications of Logic Databases, Kluwer Academic Publishers, Norwell, MA, 1995
	113	Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan , Praveen Seshadri, The CORAL deductive system, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
	114	RAMAKRISHMAN, R. AND ULLMAN, J. D. 1995. A Survey of Deductive Database Systems. J. Logic Program. 23, 2, 125-150.
	115	Prasad Rao , Konstantinos F. Sagonas , Terrance Swift , David Scott Warren , Juliana Freire, XSB: A System for Effciently Computing WFS, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, p.431-441, July 28-31, 1997
	116	REITER, R. 1984. Towards a logical reconstruction of relational database theory. In On Conceptual Modelling, M. Brodie, J. Mylopoulos, and J. Schmidt, Eds. Springer-Verlag, New York, NY, 191-233.
	117	REITER, R. 1995. On Specifying Database Updates. J. Logic Program. 25, 1, 53-91.
	118	Kenneth A. Ross, Modular stratification and magic sets for Datalog programs with negation, Journal of the ACM (JACM), v.41 n.6, p.1216-1266, Nov. 1994 [doi>10.1145/195613.195646]
	119	Mark A. Roth , Henry F. Korth , Don S. Batory, SQL/NF: a query language for ¬ 1NF relational databases, Information Systems, v.12 n.1, p.99-114, Jan. 1987 [doi>10.1016/0306-4379(87)90021-4]
	120	Mark A. Roth , Herry F. Korth , Abraham Silberschatz, Extended algebra and calculus for nested relational databases, ACM Transactions on Database Systems (TODS), v.13 n.4, p.389-417, Dec. 1988 [doi>10.1145/49346.49347]
	121	Domenico Sacca , Carlo Zaniolo, Magic counting methods, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.49-59, May 27-29, 1987, San Francisco, California, United States
	122	Konstantinos Sagonas , Terrance Swift , David S. Warren, XSB as an efficient deductive database engine, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.442-453, May 24-27, 1994, Minneapolis, Minnesota, United States
	123	Abdul Sattar , Randy Goebel, Consistency-motivated reason maintenance in hypothetical reasoning, New Generation Computing, v.15 n.2, p.163-186, 1997 [doi>10.1007/BF03037236]
	124	SHAN, Z. AND LIU, M. 1998. Introduction to the Relationlog System. In Proceedings of the 6th Intl. Workshop on Deductive Databases and Logic Programming (DDLP '98, Manchester, UK, June 20 1998). 71-83.
	125	David W. Shipman, The functional data model and the data languages DAPLEX, ACM Transactions on Database Systems (TODS), v.6 n.1, p.140-173, March 1981 [doi>10.1145/319540.319561]
	126	SMOLKA, G. 1995. The Oz programming model. In Computer Science Today, J. van Leeuwen, Ed. Lecture Notes in Computer Science, vol. 1000. Springer-Verlag, New York, 324-343.
	127	SOMOGYI, Z., HENDERSON, F., AND CONWAY, T. 1996. The Execution Algorithm of Mercury: An Efficient Purely Declarative Logic Programming Language. J. Logic Program. 29, 1-3, 17-64.
	128	Leon Sterling , Ehud Shapiro, The art of Prolog: advanced programming techniques, MIT Press, Cambridge, MA, 1986
	129	Su, S. Y.W. 1986. Modeling Integrated Manufacturing Data with SAM *. IEEE Computer 19, 1, 34-49.
	130	V. S. Subrahmanian, Paraconsistent disjunctive deductive databases, Theoretical Computer Science, v.93 n.1, p.115-141, Feb. 3, 1992 [doi>10.1016/0304-3975(92)90214-Z]
	131	Shalom Tsur , Carlo Zaniolo, LDL: A Logic-Based Data Language, Proceedings of the 12th International Conference on Very Large Data Bases, p.33-41, August 25-28, 1986
	132	Jeffrey D. Ullman, Principles of Database Systems, W. H. Freeman & Co., New York, NY, 1983
	133	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	134	J. D. Ullman, Bottom-up beats top-down for datalog, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.140-149, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73736]
	135	ULLMAN, J. 1991. A Comparison between Deductive and Object-Oriented Databases Systerns. In Proceedings of the International Conference on Deductive and Object-Oriented Databases (Munich, Germany), C. Delobel, M. Kifer, and Y. Masunaga, Eds. Springer-Verlag, New York, 263-277.
	136	Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey , Tim S. Leask , James Harland, The aditi deductive database system, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
	137	Allen Van Gelder, The alternating fixpoint of logic programs with negation, Journal of Computer and System Sciences, v.47 n.1, p.185-221, Aug. 1993
	138	Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991 [doi>10.1145/116825.116838]
	139	WICHERT, C.-A. AND FREITAG, B. 1997. Capturing Database Dynamics by Deferred Updates. In Proceedings of the International Conference on Logic Programming (Leuven, Belgium). MIT Press, Cambridge, MA.

CITED BY 10

	Mengchi Liu, Extending Datalog with Declarative Updates, Journal of Intelligent Information Systems, v.20 n.2, p.107-129, March 2003
	Timo Niemi , Lasse Hirvonen , Kalervo Järvelin, Multidimensional data model and query language for informetrics, Journal of the American Society for Information Science and Technology, v.54 n.10, p.939-951, August 2003
	Vilas Wuwongse , Kiyoshi Akama , Chutiporn Anutariya , Ekawit Nantajeewarawat, A data model for XML databases, Journal of Intelligent Information Systems, v.20 n.1, p.63-80, January 2003
	Timo Niemi , Marko Junkkari , Kalervo Järvelin , Samu Viita, Advanced query language for manipulating complex entities, Information Processing and Management: an International Journal, v.40 n.6, p.869-889, November 2004
	Vilas Wuwongse , Chutiporn Anutariya , Kiyoshi Akama , Ekawit Nantajeewarawat, XML Declarative Description: A Language for the Semantic Web, IEEE Intelligent Systems, v.16 n.3, p.54-65, May 2001
	Murat Koyuncu , Adnan Yazici, IFOOD: An Intelligent Fuzzy Object-Oriented Database Architecture, IEEE Transactions on Knowledge and Data Engineering, v.15 n.5, p.1137-1154, September 2003
	Marko Junkkari, PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships, Journal of Intelligent Information Systems, v.25 n.2, p.131-157, September 2005
	Jesús M. Almendros-Jiménez , Antonio Becerra-Terón, Database query languages and functional logic programming, New Generation Computing, v.24 n.2, p.129-184, January 2006
	Neng-fa Zhou , Taisuke Sato , Yi-dong Shen, Linear tabling strategies and optimizations, Theory and Practice of Logic Programming, v.8 n.1, p.81-109, January 2008
	Aziz Sözer , Adnan Yazıcı , Halit Oğuztüzün , Osman Taş, Modeling and querying fuzzy spatiotemporal databases, Information Sciences: an International Journal, v.178 n.19, p.3665-3682, October, 2008

INDEX TERMS

Primary Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT

General Terms:
Languages, Theory

Keywords:
complex object databases, deductive databases, inheritance, logic programming, nested relational databases, object-oriented databases

REVIEW

"Kalman Balogh : Reviewer"

Open problems related to the expressive power of various deductive database languages are surveyed in this paper. The author presents the partial solutions and their shortcomings by means of examples expressed in the most adequate language var more...

Collaborative Colleagues:

Mengchi Liu: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player