Object Identity as a Query Language Primitive

Journal of the ACM

Volumn 45, Issue 5, 1998, Pages 798-842

  Abiteboul, Serge ^a,c   Kanellakis, Paris C ^b  

^a Projet FRACTALES   (France)

^b BROWN UNIVERSITY   (United States)

^c INRIA ROCQUENCOURT   (France)

Author keywords

D.3.2 Programming Languages : Language Classification object oriented languages; H.2.1 Database Management : Logical Design; H.2.3 Database Management : Languages; H.2.4 Database Management : Systems object oriented databases; Languages; Theory

Indexed keywords

DATA STRUCTURES; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; TREES (MATHEMATICS);

RULE-BASED LANGUAGES;

QUERY LANGUAGES;

EID: 0032156829     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/290179.290182     Document Type: Article

References (72)

1. IN MEMORIUM PARIS C. KANELLAKIS. ACM Comput. Surv. 28, 1 (Mar.), 5-15.
2. ABITEBOUL, S. 1997. Querying semistructured data. In Proceedings of the International Conference on Database Theory (invited paper) (Delphi, Greece).
3. ABITEBOUL, S., AND BEERI, C. 1988. On the power of languages for the manipulation of complex objects. INRIA Tech. Rep. No. 846.
4. ABITEBOUL, S., BEERI, C., GYSSENS, M., AND VAN GUCHT, D. 1987. An introduction to the completeness of languages for complex objects and nested relations. In Nested Relations and Complex Objects. Springer-Verlag, New York, pp. 117-138.
5. ABITEBOUL, S., AND GRUMBACH, S. 1988. COL: A logic-based languages for complex objects. In Proceedings of EDBT. pp. 271-293.
6. ABITEBOUL, S., GRUMBACH, S., VOISARD, A., AND WALLER, E. 1989. An extensible rule-based language with complex objects and data-formations. In Proceedings of the DBPL-II Workshop (Oregon). To appear.
7. ABITEBOUL, S., AND HULL, R. 1987. IFO: A formal semantic database model. ACM Trans. Datab. Syst. 12, 4 (Dec.), 525-565.
8. ABITEBOUL, S., AND HULL, R. 1988. Data functions, Datalog and negation. In Proceedings of the ACM SIGMOD International Conference on Management of Data (Chicago, Ill., June 1-3). ACM, New York, pp. 143-153.
9. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley, Reading, Mass.
10. ABITEBOUL, S., KANNELLAKIS, P., RAMASWAMY, S., AND WALER, E. 1995. Method schemas. J. Comput. Syst. Sci. 51, 3, 433-455.
11. ABITEBOUL, S., QUASS, D., MCHUGH, J., WIDOM, J., AND WEINER, J. 1996/1998. The Lorel query language for semistructured data, 1996. Also in J. Dig. Lib., to appear. ftp://db.Stanford. edu//pub/ papers/lore 196.ps.
12. ABITEBOUL, S., AND VIANU, V. 1987/1998. Transaction Languages for database update and specification. INRIA Tech. Rep. No. 715. Also in J. Comput. Syst. Sci., to appear.
13. ABITEBOUL, S., AND VIANU, V. 1988/1998. Datalog extensions for database updates and queries. INRIA Tech. Rep. No. 900. Also in J. Comput. Syst. Sci., to appear.
14. ABITEBOUL, S., AND VIANU, V. 1989. Fixpoint extensions of first-order logic and datalog-like languages. In Proceedings of the Symposium on Logic in Computer Science.
15. ANDRIES, M., AND PAREDAENS, J. 1992. A language for generic graph transformations. In Proceedings of the International Workshop WG 91. Springer-Verlag, New York, pp. 63-74.
16. ATKINSON, M. D., AND BRUNEMAN, O. P. 1987. Types and persistence in database programming languages. ACM Comput. Surv. 19, 2 (June), 105-200.
17. BANCILHON, F. 1988. Object-oriented database systems. In Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Austin, Tex., Mar. 21-23). ACM, New York, pp. 152-162.
18. 2, and object-oriented database system. In Proceedings of the OODBS2 Workshop (Badmunster, RFA).
19. BANCILHON, F., CLUET, S., AND DELOBEL, C. 1989. Query languages for object-oriented database systems. In Proceedings of the DBPL-II Workshop (Oregon). To appear.
20. 2. Morgan-Kaufmann, San Mateo, Calif.
21. BANCILHON, F., AND KHOSHAFIAN, S. 1986. A calculus for complex objects. In Proceedings of the 5th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (Cambridge, Mass. Mar. 24-26). ACM, New York, pp. 53-60.
22. BANERJEE, J., CHOU, H.-T., GARZA, J. F., KIM, W., WOELK, D., BALLOU, N., AND KIM, H.-J. 1987. Data model issues for object-oriented applications. ACM Trans. Inf. Syst. 5, 1 (Jan.), 3-26.
23. BEERI, C. 1990. A formal approach to object-oriented databases. J. Data Knowl. Eng. 5, 4, 353-382.
24. BEERI, C., NAQVI, S., RAMAKRISHNAN, R., SHMUELI, O., AND TSUR, S. 1987. Sets and negation in a logic database language (LDL1). In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Diego, Calif., Mar. 23-25). ACM, New York, pp. 21-37.
25. BREAZU-TANNEN, V., BUNEMAN, P., AND NAQVI, S. 1992. Structural recursion as a query language. In Proceedings of the International Workshop on Database Programming Languages. Morgan-Kaufmann, San Mateo, Calif., pp. 9-19.
26. BUNEMAN, P., DAVIDSON, S., HILLEBRAND, G., AND SUCIU, D. 1996. A query language and optimization techniques for unstructured data. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data (Montreal, Que., Canada, June 4-6). ACM, New York, pp. 505-516.
27. CARDELLI, L. 1988. A semantics of multiple inheritance. Inf. Comput. 76, 138-164.
28. CAREY, M. J., DEWITT, D. J., AND VANDENBERG, S. L. 1988. A data model and query language for EXODUS. In Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data (Chicago, I11., June 1-3). ACM, New York, pp. 413-423.
29. CATTELL, R. G. G. 1994. The Object Database Standard: ODMG-93. Morgan-Kaufmann, San Francisco, Calif.
30. CHANDRA, A., AND HAREL, D. 1980. Compatible queries for relational Data Bases. J. Comput. Syst. Sci. 21, 2, 156-178.
31. CHRISTOPHIDES, V., ABITEBOUL, S., CLUET, S., AND SCHOLL, M. 1994. From structured documents to novel query facilities. In Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data (Minneapolis, Minn., May 24-27). ACM, New York, pp. 313-324.
32. CODD, E. F. 1970. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June), 377-387.
33. CODD, E. F. 1979. Extending the database relational model to capture more meaning. ACM Trans. Datab. Syst. 4, 4 (Dec.), 397-434.
34. COURCELLE, B. 1983. Fundamental properties of infinite trees. Theoret. Comput. Sci. 25, 95-169.
35. DAHLAUS, E., AND MAKOWSKI, J. 1986. Computable directory queries. In Proceedings of CAAP. Lecture Notes in Computer Science, vol. 214. Springer-Verlag, New York, pp. 254-265.
36. DENNINGHOFF, K., AND VIANU, V. 1991. The power of methods with parallel semantics. In Proceedings of the 17th International Conference on Very Large Data Bases, pp. 221-232.
37. DENNINGHOFF, K., AND VIANU, V. 1993. Database method schemas and object creation. In Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Washington, D.C., May 25-28). ACM, New York, pp. 265-275.
38. FISHMAN, D. H., BEECH, D., GATE, 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 SHEN, M. C. 1987. Iris: An object-oriented database management system. ACM Trans. Inf. Syst. 5, 1 (Jan.), 48-69.
39. GOLDBERG, A., AND ROBSON, D. 1983. Smalltalk 80, the Language and Implementation. Addison-Wesley, Reading, Mass.
40. HULL, R. 1986. Relative information capacity of simple relational schemata. SIAM J. Comput. 15, 3, 856-886.
41. HULL, R., AND SU, J. 1989. Untyped sets, invention and computable queries. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Philadelphia, Pa., Mar. 29-31). ACM, New York, pp. 347-359.
42. HULL, R., AND YOSHIKAWA, M. 1991. On the equivalence of database restructurings involving object identifiers. In Proceedings of the 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Denver, Col., May 29-31). ACM, New York, pp. 328-340.
43. JAESCHKE, B., AND SCHEK, H.-J. 1982. Remarks on the algebra of non-first-normal-form relations. In Proceedings of the ACM Symposium on Principles of Database Systems (Los Angeles, Calif., Mar. 29-31). ACM, New York, pp. 124-138.
44. KANELLAKIS, P. 1998. Elements of Relational Database Theory. In Handbook of Theoretical Computer Science, A. R. Meyers, M. Nivat, M. S. Paterson, P. Perrin, and J. van Leewen, eds. Elsevier-North Holland, Amsterdam, The Netherlands, pp. 1075-1144.
45. KHOSHAFIAN, S., AND COPELAND, G. 1986. Object identity. In OOPSLA '86 Conference Proceedings (Portland, Ore., Sept. 29-Oct. 2). ACM, New York, pp. 406-415.
46. KIFER, M., AND LAUSEN, G. 1989. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data (Portland, Ore., May 31-June 2). ACM, New York, pp. 134-146.
47. KIFER, M., LAUSEN, G., AND WU, J. 1993. Logical foundations of object-oriented and frame-based languages. Tech. Rep. 93/06. Dept. Comput. Sci. SUNY Stony Brook, Stony Brook, N.Y.
48. KIFER, M., AND WU, J. 1989. A logic for object-oriented logic programming (Maier's O-logic: Revisited). In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Philadelphia, Pa., Mar. 29-31). ACM, New York, pp. 379-393.
49. KIM, W. 1988. A foundation for object-oriented databases. Tech. Rep. MCC, Austin, Tex.
50. KOLAITIS, P. G., AND PAPADIMITRIOU, C. H. 1988. Why not negation by fixpoint? In Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Austin, Tex., Mar. 21-23). ACM, New York, pp. 231-239.
51. KONOPNICKI, D., AND SHMUELI, O. 1995. W3QS: A query system for the World Wide Web. In Proceedings of the 21st International Conference on Very Large Data Bases. Morgan-Kaufmann, Zurich, Switzerland, pp. 54-65.
52. KORTH, H. F., ROTH, M. A., AND SILBERSCHATZ, A. 1985. Extended algebra and calculus for not 1NF relational databases. Tech. Rep. U. Texas at Austin, Austin, Tex.
53. KUPER, G. M. 1985. The logical data model: A new approach to database logic. Ph.D. dissertation. Stanford Univ., Stanford, Calif.
54. KUPER, G. M. 1987. Logic programming with sets. In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Diego, Calif., Mar. 23-25). ACM, New York, pp. 11-20.
55. KUPER, G. M., AND VARDI, M. Y. 1993. The logical data model. ACM Trans. Datab. Syst. 18, 379-413.
56. LÉCLUSE, C., AND RICHARD, P. 1989. Modeling complex structures in object-oriented databases. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Philadelphia, Pa., Mar. 29-31). ACM, New York, pp. 360-368.
57. 2, An object-oriented data model. In Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data (Chicago, I11., June 1-3). ACM, New York, pp. 424-434.
58. MAIER, D. 1986. A logic for objects. In Proceedings of the Workshop on Foundations of Deductive Databases and Logic Programming (Washington, DC), pp. 6-26.
59. MAIER, D., OTIS, A., AND PURDY, A. 1985. Development of an object-oriented DBMS. Quart. Bull. IEEE Datab. Eng. 8.
60. MENDELZON, A., MIHAILA, G. A., AND MILO, T. 1996. Querying the World Wide Web. Draft. Available by ftp: milo@math.tau.ac.il.
61. MENDELZON, A. O., AND WOOD, P. T. 1995. Finding regular simple paths in graph databases. SIAM J. Comput. 24, 6, 1235-1258.
62. NAQVI, S., AND KRISHNAMURTHY, R. 1988. Non-deterministic choice in Datalog. In Proceedings of the 3rd International Conference on Data and Knowledge Bases. Morgan-Kaufmann, Los Altos, Calif. pp. 416-424.
63. OHORI, A. 1990. Semantics of types for database objects ¡/B¿. Theoret. Comput. Sci. 76, 1, 53-91.
64. SCHEK, H., AND SCHOLL, M. 1986. The relational model with relation-valued attributes. Inf. Syst.
65. THOMAS, S. J., AND FISCHER, P. C. 1986. Nested relational structures. In Advances in Computing Research, vol. 3, The Theory of Databases. JAI press. Greenwich, Ct., pp. 269-308.
66. ULLMAN, J. D. 1987. Database theory - Past and future. In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Diego, Calif., Mar. 23-25). ACM, New York, pp. 1-10.
67. ULLMAN, J. D. 1988. Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, New York.
68. VAN DEN BUSSCHE, J., AND PAREDAENS, J. 1991. The expressive power of structured values in pure OODB's. In Proceedings of the 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Denver, Col., May 29-31). ACM, New York, pp. 291-299.
69. VAN DEN BUSSCHE, J., AND VAN GUCHT, D. 1992. Semi-determinism. In Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Diego, Calif., June 2-4). ACM, New York, pp. 191-201.
70. VAN DEN BUSSCHE, J., VAN GUCHT, D., ANDRIES, M., AND GYSSENS, M. 1992. On the completeness of object-creating query languages. In Proceedings of the IEEE Conference on Foundations of Computer Science. IEEE Computer Society Press, Los Alamitos, Calif., pp. 372-379.
71. VERSO, J. 1986. Verso: A database machine based on non-1NF relations. INRIA Tech. Rep. (the Verson team). Also in Nested Relations and Complex Objects. Springer-Verlag. New York.
72. ZDONIK, S. 1985. Object management systems for design environment. Quart. Bull. IEEE Datab. Eng. 8, 4, 23-30.