On the equivalence of database restructurings involving object identitiers

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 1991, Pages 328-340

  Hull, Richard ^a   Yoshikawa, Masatoshi ^b  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b KYOTO SANGYO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; QUERY LANGUAGES;

CONJUNCTIVE QUERIES; DATA RESTRUCTURING; EQUIVALENCE PROBLEM; ESSENTIAL FEATURES; MECHANISM-BASED; OBJECT IDENTIFIER; OBJECT IDENTITY; RECURSIONS;

EQUIVALENCE CLASSES;

EID: 84969403964     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/113413.113443     Document Type: Conference Paper

References (29)

1. S. Abiteboul. Personal communication, May 1990.
2. K. Apt, H. Blair, and A. Walker. Toward a theory of declarative knowledge. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986.
3. S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans, on Database Systems, 12(4):525-565, Dec. 1987.
4. S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proc. A CM SIGMOD Symp. on the Management of Data, pages 159-173, 1989.
5. Krzysztof R. Apt. Introduction to logic programming. Technical Report TR-87-35, (revised), Dept. of Computer Science, Univ. of Texas at Austin, July 1988. to appear in Handbook of Theoretical Computer Science.
6. Serge Abiteboul and Victor Vianu. A transaction language complete for database update and specification. In Proc. ACM Symp. on Principles of Database Systems, pages 260-268, 1987.
7. C. Batini, M. Lenzerini, and S.B. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323-364, December 1986.
8. P.P. Chen. The entity-relationship model - toward a unified view of data. ACM Trans, on Database Systems, l(l):9-36, March 1976.
9. A. K. Chandra and P. M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Proc. ACM SIGA CT Symp. on the Theory of Computing, pages 77-90, 1977.
10. Weidong Chen and David S. Warren. C-Logic of complex objects. In Proc. A CM Symp. on Principles of Database Systems, pages 369-378, 1989.
11. Umeshwar Dayal. Queries and views in an object-oriented data model. In Proc. of Second Intl. Workshop on Database Programming Languages, pages 80-102. Morgan Kaufmann, Los Altos, CA, June 1989.
12. U . Dayal and H.Y. Hwang .View definition and generalization for database integration in a multi-database system. IEEE Trans, on Software Engineering, SE-10(6):628-644, 1984.
13. R. A. DiPaola. The recursive unsolvability of the decision problem for a class of definite formulas. J. ACM, 16(2):324-327, 1969.
14. R. Hull and R. King. Semantic database modeling: Survey, applications, and research issues. A CM Computing Surveys, 19(3):201-260, September 1987.
15. D. Heimbigner and D. McLeod. A federated architecture for information management. ACM Trans, on Office Information Systems, 3(3):253-278, July 1985.
16. R. Hull and M. Yoshikawa. H O G: Declarative Creation and Manipulation of Object Identifiers (Extended Abstract). In Proc. of Intl. Conf. on Very Large Data Bases, pages 455-468, 1990.
17. M. Kifer and G. Lausen. F-logic: A higher-order logic for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 134-146, 1989.
18. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90/14 (revised), SUNY at Stony Brook, June 1990.
19. L. Kerschberg and J.E.S. Pacheco. A functional data base model. Technical report, Pontificia Universidade Católica do Rio de Janeiro, Rio de Janeiro, February 1976.
20. Gabriel M. Kuper and Moshe Y. Vardi A new approach to database logic. In Proc. ACM Symp. on Principles of Database Systems, pages 86-96, 1984.
21. M. Kifer and James Wu. A logic for object-oriented logic programming (Maier's o-logic revisited). In Proc. A CM Symp. on Principles of Database Systems, pages 379-393, 1989.
22. J. W. Lloyd. Foundations of Logic Programming (Second Edition). Springer-Verlag, Berlin, 1987.
23. Peter Lyngbaek and Victor Vianu. Mapping a semantic database model to the relational model. In Proc. A CM SIGMOD Symp. on the Management of Data, 1987.
24. D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programing, pages 6-26, Washington, D.C., August 1986.
25. A. Motro. Superviews: Virtual integration of multi-ple databases. IEEE Transactions on Software Engineering, SE-13(7), July 1987.
26. O. Schmueli. Decidability and expressiveness aspects of logic queries. In A CM Symp. on Principles of Database Systems, pages 237-249, 1987.
27. Jeffrey D . TJ Umaa . Principie» of Datahaie and Knowledgebase Systems. Computer Science Press, Potomac, Maryland, 1988.
28. A. van Gelder. Negation as failure using tight derivations for general logic programs. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986.
29. S. Zdonik and D. Maier. Readings in Object-Oriented Database Systems. Morgan-Kaufmann Publishers, Inc., San Mateo, CA, 1990.