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.
- ABITEBOUL, S. 1988. Updates, a New Database Frontier. In Proceedings of the International Conference on Data Base Theory (Pruges, Belgium). Springer-Verlag, New York, 1-18. Google Scholar
- ABITEBOUL, S. AND BEERI, C. 1995. The Power of Languages for the Manipulation of Complex Values. VLDB J. 4, 4, 727-794. Google Scholar
- ABITEBOUL, S., FISCHER, P. C., AND SCHEK, H., Eds. 1987. Proceedings of the International Workshop on Theory and Applications of Nested Relations and Complex Objects in Databases. (Darmstadt, Germany) Springer- Verlag, New York. Google Scholar
- ABITEBOUL, S. AND GRUMBACH, S. 1991. A rulebased language with functions and sets. ACM Trans. Database Syst. 16, 1 (Mar.), 1-30. Google Scholar
- ABITEBOUL, S. AND HULL, R. 1987. IFO: a formal semantic database model. ACM Trans. Database Syst. 12, 4 (Dec. 1987), 525-565. Google Scholar
- ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison- Wesley, Reading, MA. Google Scholar
- ABITEBOUL, S. AND KANELLAKIS, P. 1989. Object Identity as a Query Language Primitive. In Proceedings of the 1989 ACM SIGMOD international conference on Management of data (SIGMOD '89, Portland, Oregon, June 1989), J. Clifford, J. Clifford, B. Lindsay, D. Maier, and J. Clifford, Eds. ACM Press, New York, NY, 159-173. Google Scholar
- ABITEBOUL, S. AND VIANU, V. 1991. Datalog extensions for database queries and updates. J. Comput. Syst. Sci. 43, 1 (Aug. 1991), 62-124. Google Scholar
- A T-KAcI, H. 1993. An Introduction to Life. In Proceedings of the Joint International Conference and Symposium on Logic Programming (Vancouver, Canada). MIT Press, Cambridge, MA, 506-524. Google Scholar
- A T-KAcI, H AND NASR, R 1986. Login: A logic programming language with built-in inheritance. J. Logic Program. 3, 3 (Oct. 1986), 185-215. Google Scholar
- ALBANO, A., CARDELLI, L., AND ORSINI, R. 1985. GALILEO: a strongly-typed, interactive conceptual language. ACM Trans. Database Syst. 10, 2 (June 1985), 230-260. Google Scholar
- ALBANO, A., GHELLI, G., AND ORSINI, R. 1995. Fibonacci: A Programming Language for Object Databases. VLDB J. 4, 3, 403- 444. Google Scholar
- APT, K. R., BLAIR, H. A., AND WALKER, A. 1988. Towards a theory of declarative knowledge. In Foundations of deductive databases and logic programming, J. Minker, Ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, 89-148. Google Scholar
- BANCILHON, F., MAIER, F., SAGIV, Y., AND ULLMAN, J. 1986. Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS '86, Cambridge, Massachusetts). ACM Press, New York, NY, 1-16. Google Scholar
- BANCILHON, F. AND RAMAKRISHNAN, R. 1986. An Amateur's Introduction to Recursive Query Processing Strategies. In Proceedings of the conference on Management of data (SIGMOD '86, Washington, D.C., May 28-30, 1986), C. Zaniolo, Ed. ACM Press, New York, NY, 16- 52. Google Scholar
- BARBACK, M., LOBO, J., AND LU, J. 1992. Minimizing Indefinite Information in Disjunctive Deductive Databases. In Proceedings of the International Conference on Data Base Theory (Berlin, Germany). Springer-Verlag, New York, 246 -260. Google Scholar
- 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.Google Scholar
- BEERI, C. 1990. A formal approach to objectoriented databases. Data Knowl. Eng. 5, 2, 353-382. Google Scholar
- BEERI, C., NAQVI, S., SHMUELI, O., AND TSUR, S. 1991. Set constructors in a logic database language. J. Logic Program. 10, 3/4 (Apr./May 1991), 181-232. Google Scholar
- BEERI, C. AND RAMAKRISHNAN, R. 1991. On the power of magic. J. Logic Program. 10, 3/4 (Apr./May 1991), 255-299. Google Scholar
- BERTINO, E. AND MONTESI, D. 1992. Towards a Logical Object-oriented Programming Language for Databases. In Proceedings of the International Conference on Extending Database Technology (Vienna, Austria). Springer- Verlag, New York, NY, 168-183. Google Scholar
- BONNER, A.J. 1989. Hypothetical datalog negation and linear recursion. In Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems (PODS '89, Philadelphia, PA, Mar. 29-31, 1989), A. Silberschatz, Ed. ACM Press, New York, NY, 286-300. Google Scholar
- BONNER, A.J. 1990. Hypothetical datalog: complexity and expressibility. Theor. Comput. Sci. 76, 1 (Oct. 31, 1990), 3-51. Google Scholar
- BONNER, A. g. AND KIFER, M. 1993. Transaction logic programming. In Proceedings of the tenth international conference on Logic programming (ICLP'93, Budapest, Hungary, June 21-25, 1993), D. S. Warren, Ed. MIT Press, Cambridge, MA, 257-279. Google Scholar
- BONNER, A. J. AND KIFER, M. 1994. An overview of transaction logic. Theor. Comput. Sci. 133, 2 (Oct. 24, 1994), 205-265. Google Scholar
- BONNER, A., KIFER, M., AND CONSENS, M. 1993. Database Programming in Transaction Logic. In Proceedings of the International Workshop on Database Programming Languages (New York, NY). Morgan Kaufmann Publishers Inc., San Francisco, CA, 309-337. Google Scholar
- BORGIDA, A. 1988. Modeling class hierarchies with contradictions. In Proceedings of the Conference on Management of Data (SIGMOD '88, Chicago, IL, June 1-3, 1988), H. Boral and P.-A. Larson, Eds. ACM Press, New York, NY, 434-443. Google Scholar
- 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.Google Scholar
- BRODSKY, A., JAFFAR, J., AND MAHER, M. 1993. Towards practical constraint databases. In Proceedings of the International Conference on Very Large Data Bases (Dublin, Ireland). Morgan Kaufmann Publishers Inc., San Francisco, CA, 557-580. Google Scholar
- BRY, F. 1990. Intensional Updates: Abduction via Deduction. In Proceedings of the International Conference on Logic Programming (Budapest, Hungary). MIT Press, Cambridge, MA, 561-575. Google Scholar
- CACACE, F., CERI, S., CREPI-REGHIZZI, S., TANCA, L., AND ZICARI, R. 1990. Integrating Object- Oriented Data Modelling with a Rule-Based Programming Paradigm. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data (SIGMOD '90, Atlantic City, NJ, May 23-25, 1990), H. Garcia-Molina, Ed. ACM Press, New York, NY, 225-236. Google Scholar
- CAREY, M. J., DEWITT, D. J., AND VANDERBERG, S. 1988. A data model and query language for EXODUS. In Proceedings of the Conference on Management of Data (SIGMOD '88, Chicago, IL, June 1-3, 1988), H. Boral and P.-A. Larson, Eds. ACM Press, New York, NY, 413-423. Google Scholar
- CATTELL, R., Ed. 1996. The Object Database Standard: ODMG-93. Release 1.2 Morgan Kaufmann Publishers Inc., San Francisco, CA. Google Scholar
- CERI, S., GOTTLOB, G., AND TANCA, L. 1990. Logic programming and databases. Springer-Verlag, New York, NY. Google Scholar
- CHEN, P. 1976. The Entity-Relationship model: Toward a unified view of data. ACM Trans. Database Syst. 1, 1, 9-36. Google Scholar
- 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.Google Scholar
- CHEN, Q. AND KAMBAYASHI, Y. 1991. Nested Relation Based Database Knowledge Representation. In Proceedings of the 1991 ACM SIG- MOD International Conference on Management of Data (SIGMOD '91, Denver, CO, May 29-31, 1991), J. Clifford and R. King, Eds. ACM Press, New York, NY, 328- 337. Google Scholar
- CHEN, W. 1997. Programming with Logical Queries, Bulk Updates and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9, 4, 587-599. Google Scholar
- CHEN, W., KIFER, M., AND WARREN, D. S. 1993. HILOG: a foundation for higherorder logic programming. J. Logic Program. 15, 3 (Feb. 1993), 187-230. Google Scholar
- CHEN, W. AND WARREN, D. S. 1989. C-logic of complex objects. In Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems (PODS '89, Philadelphia, PA, Mar. 29-31, 1989), A. Silberschatz, Ed. ACM Press, New York, NY, 369-378. Google Scholar
- CHIMENTI, D., GAMBOA, R., KRISHNAMURTHY, R., NAQVI, S., TSUR, S., AND ZANIOLO, C. 1990. The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2, 1, 76-90. Google Scholar
- CODD, E. 1970. A relational model for large shared databases. Commun. ACM 13, 6, 377-387. Google Scholar
- CODD, E.F. 1979. Extending the Database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (Dec.), 397-434. Google Scholar
- COLBY, L. 1989. A Recursive Algebra and Query Optimization for Nested Relations. In Proceedings of the 1989 ACM SIGMOD international conference on Management of data (SIGMOD '89, Portland, Oregon, June 1989), J. Clifford, J. Clifford, B. Lindsay, D. Maier, and J. Clifford, Eds. ACM Press, New York, NY, 124-138. Google Scholar
- COLMERAUER, A. 1985. Prolog in 10 figures. Commun. ACM 28, 12 (Dec. 1985), 1296- 1310. Google Scholar
- DE MAINDREVILLE, C. AND SIMON, E. 1988. Modelling Non Deterministic Queries and Updates in Deductive Databases. In Proc. 14th International Conference on Very Large Data Bases (Los Angeles, CA). Morgan Kaufmann Publishers Inc., San Francisco, CA, 395-406. Google Scholar
- DERR, M., MORISHITA, S., AND PHIPPS, G. 1993. Design and Implementation of the Glue-Nail Database System. In Proceedings of the 1993 ACM SIGMOD international conference on Management of data (SIGMOD '93, Washington, DC, May 26-28, 1993), P. Buneman and S. Jajodia, Eds. ACM Press, New York, NY, 147-167. Google Scholar
- DEUX, O. 1991. The O2 system. Commun. ACM 34, 10 (Oct. 1991), 34-48. Google Scholar
- 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.Google Scholar
- FERN NDEZ, J. AND MINKER, J. 1992a. Semantics of Disjunctive Deductive Databases. In Proceedings of the International Conference on Data Base Theory (Berlin, Germany). Springer-Verlag, New York, 21-50. Google Scholar
- FERN NDEZ, J. A. AND MINKER, J. 1992b. Disjunctive Deductive Databases. In Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR '92, St. Peterburg, Russia). Springer-Verlag, New York, 332-356. Google Scholar
- 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.Google Scholar
- FREITAG, B., SCHUTZ, H., AND SPECHT, G. 1991. LOLA--A Logic Language for Deductive Databases and its Implementation. In Proceedings of the 2nd International Symposium on Database Systems for Advanced Applications (DASFAA '91, Tokyo, Japan, Apr.). 216-225. Google Scholar
- FROHN, J., HIMMER DER, R., KANDZIA, P., LAUSEN, G., AND SCHLEPPHORST, C. 1997. Florid: A Prototype for F-logic. In Proceedings of the International Conference on Data Engineering. IEEE Computer Society, New York, NY. Google Scholar
- 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.Google Scholar
- GALLAIRE, H. AND MINKER, J., Eds. 1978. Logic and Data Bases. Plenum Press, New York, NY. Google Scholar
- GALLAIRE, H., MINKER, J., AND NICOLAS, J. M. 1984. Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16, 2, 153-186. Google Scholar
- 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.Google Scholar
- GRANT, g. AND MINKER, g. 1992. The impact of logic programming on databases. Commun. ACM 35, 3 (Mar. 1992), 66-81. Google Scholar
- GRUMBACH, S. AND SU, J. 1996. Towards practical constraint databases (extended abstract). In Proceedings of the fifteenth ACM SIGACT- SIGMOD-SIGART symposium on Principles of database systems (PODS '96, Montreal, P. Q., Canada, June 3-5, 1996), R. Hull, Ed. ACM Press, New York, NY, 28-39. Google Scholar
- HAMMER, M. AND MCLEOD, D. 1981. Database description with SDM: A semantic database model. ACM Trans. Database Syst. 6, 3 (Sept.), 351-386. Google Scholar
- HAN, J., LIU, L., AND XIE, Z. 1994. LogicBase: a deductive database system prototype. In Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM '94, Gaithersburg, Maryland, Nov. 29-Dec. 2, 1994), N. R. Adam, B. K. Bhargava, and Y. Yesha, Eds. ACM Press, New York, NY, 226-233. Google Scholar
- HAREL, D. 1979. First-Order Dynamic Logic. Lecture Notes in Computer Science, vol. 361. Springer-Verlag, New York. Google Scholar
- HEUER, A. AND SANDER, P. 1993. The LIVING IN A LATTICE Rule Language. Data Knowl. Eng. 9, 4, 249-286. Google Scholar
- HILL, P. AND LLOYD, J. 1994. The G del programming language. MIT Press, Cambridge, MA. Google Scholar
- INOUE, K. 1994. Hypothetical Reasoning in Logic Programs. J. Logic Program. 18, 3, 197-227.Google Scholar
- IOANNIDIS, Y. AND RAMAKRISHNAN, R. 1988. Efficient Transitive Closure Algorithms. In Proc. 14th International Conference on Very Large Data Bases (Los Angeles, CA). Morgan Kaufmann Publishers Inc., San Francisco, CA, 382-394. Google Scholar
- ISHIKAWA, H., SUZUKI, F., KOZAKURA, F., MAKINOU- CHI, A., MIYAGISHIMA, M., IZUMIDA, Y., AOSHIMA, M., AND YAMANE, Y. 1993. The model, language, and implementation of an object-oriented multimedia knowledge base management system. ACM Trans. Database Syst. 18, 1 (Mar. 1993), 1-50. Google Scholar
- JACOBS, B. 1982. On Database Logic. J. ACM 29, 2 (Apr.), 310-332. Google Scholar
- JAFFAR, J. AND MAHER, M. 1994. Constraint logic programming: A survey. J. Logic Program. 19-20, 503-581.Google Scholar
- JARKE, M., GALLERSD RFER, R., JEUSFELD, M. A., STAUDT, M., AND EHERER, S. 1995. ConceptBase--a deductive object base for meta data management. J. Intell. Inf. Syst. 4, 2 (Mar. 1995), 167-192. Google Scholar
- JAYARAMAN, B. 1992. Implementation of subsetequational programs. J. Logic Program. 12, 4 (Apr. 1992), 299-324. Google Scholar
- JIANG, B. 1990. A Suitable Algorithm for Computing Partial Transitive Closures. In Proc. IEEE Sixth International Conference on Data Engineering (Kobe, Japan, May). IEEE Computer Society, New York, NY, 264-271. Google Scholar
- KAKAS, A. AND MANCARELLA, P. 1990. Database Updates through Abduction. In Proceedings of the 16th VLDB Conference on Very Large Data Bases (VLDB, Brisbane, Australia). VLDB Endowment, Berkeley, CA, 650-661. Google Scholar
- KIEBLING, W., SCHMIDT, H., STRAUB, W., AND DUN- ZINGER, G. 1994. DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology. VLDB J. 3, 2, 211-243. Google Scholar
- KIFER, M. AND LAUSEN, G. 1989. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema. In Proceedings of the 1989 ACM SIGMOD international conference on Management of data (SIGMOD '89, Portland, Oregon, June 1989), J. Clifford, J. Clifford, B. Lindsay, D. Maier, and J. Clifford, Eds. ACM Press, New York, NY, 134-146. Google Scholar
- KIFER, M., LAUSEN, G., AND WU, J. 1995. Logical foundations of object-oriented and frame-based languages. J. ACM 42, 4 (July 1995), 741-843. Google Scholar
- KIFER, M. AND WU, J. 1993. A logic for programming with complex objects. J. Comput. Syst. Sci. 47, 1 (Aug. 1993), 77-120. Google Scholar
- KIM, W. 1990a. Introduction to Object-Oriented Databases. MIT Press, Cambridge, MA. Google Scholar
- KIM, W. 1990b. Object-Oriented Databases: Definition and Research Direction. IEEE Trans. Knowl. Data Eng. 2, 3 (Sept.), 327- 341. Google Scholar
- KOWALSKI, R.A. 1988. The early years of logic programming. Commun. ACM 31, 1 (Jan. 1988), 38-43. Google Scholar
- KOWALSKI, R. 1992. Database updates in the event calculus. J. Logic Program. 12, 1/2 (Jan. 1992), 121-146. Google Scholar
- KRISHNAMURTHY, R. AND NAQVI, S. 1988. Towards a Real Horn Clause Language. In Proc. 14th International Conference on Very Large Data Bases (Los Angeles, CA). Morgan Kaufmann Publishers Inc., San Francisco, CA, 252-263. Google Scholar
- KUPER, G. M. 1990. Logic programming with sets. J. Comput. Syst. Sci. 41, 1 (Aug. 1990), 44-64. Google Scholar
- LECLUSE, C. AND RICHARD, P. 1989. The 02 Database Programming Language. In Proceedings of the fifteenth international conference on Very large data bases (Amsterdam, The Netherlands, Aug 22-25 1989), R. P. van de Riet, Ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, 411-422. Google Scholar
- LEVENE, M. AND LOIZOU, G. 1993. Semantics for null extended nested relations. ACM Trans. Database Syst. 18, 3 (Sept. 1993), 414-459. Google Scholar
- 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.Google Scholar
- LIu, M. 1996. ROL: A Deductive Object Base Language. Inf. Syst. 21, 5, 431-457. Google Scholar
- LIu, M. 1998a. An Overview of Rule-based Object Language. J. Intell. Inf. Syst. 10, 1, 5-29. Google Scholar
- LIu, M. 1998b. Relationlog: A Typed Extension to Datalog with Sets and Tuples. J. Logic Program. 36, 3, 271-299.Google Scholar
- LIU, M. AND SHAN, R. 1998. The Design and Implementation of the Relationlog Deductive Database System. In Proceedings of the 9th International Workshop on Database and Expert System Applications (DEXA Workshop '98, Vienna, Austria, Aug. 24-28). IEEE Computer Society Press, Los Alamitos, CA, 856-863. Google Scholar
- LIU, M., Yu, W., Guo, M., AND SHAN, R. 1998. ROL: A Prototype for Deductive and Object-Oriented Databases. In Proceedings of the International Symposium on Database Engineering and Applications (ICDE '98, Orlando, FL, Feb. 23-27). IEEE Computer Society Press, Los Alamitos, CA, 598. Google Scholar
- LLOYD, J. W. 1987. Foundations of Logic Programming. 2nd ed. Springer-Verlag Symbolic Computation and Artificial Intelligence Series. Springer-Verlag, Vienna, Austria. Google Scholar
- Lou, Y. AND OZSOYOGLU, M. 1991. LLO: A Deductive Language with Methods and Method Inheritance. In Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data (SIGMOD '91, Denver, CO, May 29-31, 1991), J. Clifford and R. King, Eds. ACM Press, New York, NY, 198-207. Google Scholar
- MAIER, D. 1983. The Theory of Relational Databases. Computer Science Press, Inc., New York, NY. Google Scholar
- MAIER, D. 1986. A logic for objects. Technical Report CS/E-86-012. Oregon Graduate Center, Beaverton, Oregon.Google Scholar
- MAIER, D. 1987. Why Database Languages are a Bad Idea. In Proceedings of the Workshop on Database Programming Languages (Roscoff, France).Google Scholar
- MAIER, D., STEIN, J., OTIS, A., AND PURDY, A. 1986. Development of Object-Oriented DBMS. In OOPSLA '86. ACM Press, New York, NY, 472-482. Google Scholar
- MANCHANDA, S. 1989. Declarative expression of deductive database updates. In Proceedings of the eighth ACM SIGACT-SIGMOD-SI- GART symposium on Principles of Database Systems (PODS '89, Philadelphia, PA, Mar. 29-31, 1989), A. Silberschatz, Ed. ACM Press, New York, NY, 93-100. Google Scholar
- MANCHANDA, S. AND WARREN, D.S. 1988. A logic-based language for database updates. In Foundations of deductive databases and logic programming, J. Minker, Ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, 363-394. Google Scholar
- MONTESI, D., BERTINO, E., AND MARTELLI, M. 1997. Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9, 5, 784-797. Google Scholar
- MORRIS, K., ULLMAN, J. D, AND VAN GELDER, A. 1986. Design overview of the NAIL! systern. In Proceedings on Third international conference on logic programming (London, UK, July 14-18, 1986), E. Shapiro, Ed. Springer-Verlag, New York, NY, 554-568. Google Scholar
- Moss, C. 1994. Prolog++. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.Google Scholar
- MUMICK, I. S., FINKELSTEIN, S. J., PIRAHESH, H., AND RAMAKRISHNAN, R. 1996. Magic conditions. ACM Trans. Database Syst. 21, 1, 107-155. Google Scholar
- MYLOPOULOS, J., BERNSTEIN, P. A., AND TONG, H. K.T. 1980. A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5, 2 (June), 185- 207. Google Scholar
- 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.Google Scholar
- NAQVI, S. AND KRISHNAMURTHY, R. 1988. Database Updates in Logic Programming. In Proc. 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Austin, TX, Mar.). 261-272. Google Scholar
- NAQVI, S. AND TSUR, S. 1989. A logical language for data and knowledge bases. Computer Science Press principles of computer science series. Computer Science Press, Inc., New York, NY. Google Scholar
- OZSOYOGLU, Z. M. AND YUAN, L.-Y. 1987. A new normal form for nested relations. ACM Trans. Database Syst. 12, 1 (Mar. 1987), 111- 136. Google Scholar
- PRZYMUSINSKI, T. C. 1988. On the declarative semantics of deductive databases and logic programs. In Foundations of deductive databases and logic programming, J. Minker, Ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, 193-216. Google Scholar
- PRZYMUSINSKI, T. 1990. Extended Stable Semantics for Normal and Disjunctive Programs. In Proceedings of the International Conference on Logic Programming (Budapest, Hungary). MIT Press, Cambridge, MA, 459-477. Google Scholar
- RAMAKRISHMAN, R., Ed. 1994. Applications of Logic Databases. Kluwer Academic Publishers, Hingham, MA. Google Scholar
- RAMAKRISHNAN, R., SRIVASTAVA, D., SUDARSHAN, S., AND SESHADRI, P. 1994. The coral deductive system. VLDB J. 3, 2, 161-210. Google Scholar
- RAMAKRISHMAN, R. AND ULLMAN, J. D. 1995. A Survey of Deductive Database Systems. J. Logic Program. 23, 2, 125-150.Google Scholar
- RAO, P., SAGONAS, K., SWIFT, T., WARREN, D., AND FREIRE, J. 1997. XSB: A System for Eftciently Computing. In Proceedings of the International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR '97, Dagstuhl, Germany). Springer-Verlag, New York, 431-441. Google Scholar
- 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.Google Scholar
- REITER, R. 1995. On Specifying Database Updates. J. Logic Program. 25, 1, 53-91.Google Scholar
- Ross, K. A. 1994. Modular stratification and magic sets for Datalog programs with negation. J. ACM 41, 6 (Nov. 1994), 1216-1266. Google Scholar
- ROTH, M. A., KORTH, H. F., AND BATORY, D. S. 1987. SQL/NF: a query language for -1 1NF relational databases. Inf. Syst. 12, 1 (Jan. 1987), 99-114. Google Scholar
- ROTH, M. A., KORTH, H. F., AND SILBERSCHATZ, A. 1988. Extended algebra and calculus for -~INF relational databases. ACM Trans. Database Syst. 13, 4 (Dec. 1988), 389-417. Google Scholar
- SACCA, D. AND ZANIOLO, C. 1987. Magic Counting Methods. In Proceedings of the ACM SIGMOD Annual Conference on Management of Data (SIGMOD '87, San Francisco, CA, May 27-29, 1987), U. Dayal, Ed. ACM Press, New York, NY, 49-59. Google Scholar
- SAGONAS, K., SWIFT, T., AND WARREN, D. 1994. XSB as an Efficient Deductive Database Engine. In Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data (SIGMOD '94, Minneapolis, Minnesota, May 24-27, 1994), R. T. Snodgrass and M. Winslett, Eds. ACM Press, New York, NY, 442-453. Google Scholar
- SATTAR, A. AND GOEBEL, R. 1997. Consistencymotivated reason maintenance in hypothetical reasoning. New Gen. Comput. 15, 2, 163- 186. Google Scholar
- 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.Google Scholar
- SHIPMAN, D. W. 1981. The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6, 1, 140-173. Google Scholar
- 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. Google Scholar
- 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.Google Scholar
- STERLING, L. AND SHAPIRO, E. 1986. The art of Prolog: advanced programming techniques. MIT Press series in logic programming. MIT Press, Cambridge, MA. Google Scholar
- Su, S. Y.W. 1986. Modeling Integrated Manufacturing Data with SAM *. IEEE Computer 19, 1, 34-49.Google Scholar
- SUBRAHMANIAN, V. S. 1992. Paraconsistent disjunctive deductive databases. Theor. Comput. Sci. 93, 1 (Feb. 3, 1992), 115-141. Google Scholar
- TSUR, S. AND ZANIOLO, C. 1986. LDL: A Logicbased data-language. In Proceedings of the 12th international conference on on Very Large Data Bases (Kyoto, Japan, Aug., 1986). VLDB Endowment, Berkeley, CA, 33- 41. Google Scholar
- ULLMAN, J. 1982. Principles of Database Systerns. Computer Science Press, Inc., New York, NY. Google Scholar
- ULLMAN, J. 1989a. Principles of Database and Knowledge-Base Systems. Computer Science Press, Inc., New York, NY. Google Scholar
- ULLMAN, J. D. 1989b. Bottom-up beats topdown for datalog. In Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems (PODS '89, Philadelphia, PA, Mar. 29-31, 1989), A. Silberschatz, Ed. ACM Press, New York, NY, 140-149. Google Scholar
- 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.Google Scholar
- VAGHANI, J., RAMANOHANARAO, K., KEMP, D., SOMO- GYI, Z., STUCKEY, P., LEASK, T., AND HARLAND, J. 1994. The Aditi Deductive Database System. VLDB J. 3, 2, 245-288. Google Scholar
- VAN GELDER, A. 1993. The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci. 47, 1 (Aug. 1993), 185-221. Google Scholar
- VAN GELDER, A., Ross, K. A., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38, 3 (July 1991), 619-649. Google Scholar
- 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.Google Scholar
Recommendations
A logical foundation for deductive object-oriented databases
Over the past decade, a large number of deductive object-oriented database languages have been proposed. The earliest of these languages had few object-oriented features, and more and more features have systematically been incorporated in successive ...
Comments