On the equivalence of database restructurings involving object identifiers (extended abstract)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the equivalence of database restructurings involving object identifiers (extended abstract)

Full text

Pdf (1.26 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

Denver, Colorado, United States

Pages: 328 - 340

Year of Publication: 1991

ISBN:0-89791-430-9

Authors

Richard Hull	Computer Science Department, University of Southern California, Los Angeles, CA
Masatoshi Yoshikawa	Department of Information and Communication Sciences, Kyoto Sangyo University, Kamigamo, Kita-ku, Kyoto 603, Japan

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 20, Citation Count: 8

Additional Information:

references cited by index terms 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/113413.113443 What is a DOI?

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.

	Abi90	S. Abiteboul. Personal communication, May 1990.
	ABW86	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
	AH87	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]
	AK89	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
	Apt88	Krzysztof R. Apt, Introduction to Logic Programming, University of Texas at Austin, Austin, TX, 1988
	AV87	S. Abiteboul , V. Vianu, A translation language complete for database update and specification, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.260-268, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28688]
	BLN86	C. Batini , M. Lenzerini , S. B. Navathe, A comparative analysis of methodologies for database schema integration, ACM Computing Surveys (CSUR), v.18 n.4, p.323-364, Dec. 1986 [doi>10.1145/27633.27634]
	Che76	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]
	CM77	Ashok K. Chandra , Philip M. Merlin, Optimal implementation of conjunctive queries in relational data bases, Proceedings of the ninth annual ACM symposium on Theory of computing, p.77-90, May 04-04, 1977, Boulder, Colorado, United States [doi>10.1145/800105.803397]
	CW89	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]
	Day89	Umeshwar Dayal, Queries and views in an object-oriented data model, Proceedings of the second international workshop on Database programming languages, p.80-102, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
	DH84	U. Dayal and H.Y. Hwang. View definition and genera/J#atlon for database integration in a multidatabase system. IEEE Trans. on Software Engineerirtg, SE-10(6):628-644, 1984.
	DiP69	Robert A. Di Paola, The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas, Journal of the ACM (JACM), v.16 n.2, p.324-327, April 1969 [doi>10.1145/321510.321524]
	HK87	Richard Hull , Roger King, Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys (CSUR), v.19 n.3, p.201-260, Sept. 1987 [doi>10.1145/45072.45073]
	HM85	Dennis Heimbigner , Dennis McLeod, A federated architecture for information management, ACM Transactions on Information Systems (TOIS), v.3 n.3, p.253-278, July 1985 [doi>10.1145/4229.4233]
	HY90	Richard Hull , Masatoshi Yoshikawa, ILOG: declarative creation and manipulation of object identifiers, Proceedings of the sixteenth international conference on Very large databases, p.455-468, September 1990, Brisbane, Australia
	KL89	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
	KLW90	M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90/14 (revised), SUNk' at Stony Brook, June 1990.
	KP76	L. Kerschberg and J.E.S. Pacheco. A functional data base model. Technical report, Pontificia Unlvcrsldade Catollca do Rio de Jane#o, Rio de Janelro, February 1976.
	KV84	Gabriel M. Kuper , Moshe Y. Vardi, A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada [doi>10.1145/588011.588026]
	KW89	M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73758]
	Llo87	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	LV87	Peter Lyngbaek , Victor Vianu, Mapping a semantic database model to the relational model, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.132-142, May 27-29, 1987, San Francisco, California, United States
	Mai86	D. Maier. A logic for objects. In Workshop on Foundations o# Deductive Databases and ~ogic Prograaming, pages 6-26, Washington, D.C., August 1986.
	Mot87	A. Motro, Superviews: virtual integration of multiple databases, IEEE Transactions on Software Engineering, v.13 n.7, p.785-798, July 1987 [doi>10.1109/TSE.1987.233490]
	Sch87	O. Shmueli, Decidability and expressiveness aspects of logic queries, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.237-249, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28685]
	Ull88	Jeffrey D. U'Uman. P#ine#ples of Database arid Knowledgebase Systems. Computer Science Press, Potomac, Maryland, 1988.
	vG86	A. van G~Ider. Negation as failure using tight derivations for general logic programs. In Proc. o} Workshop on Foundations of Deductive Databases and Logic Programming, 1986.
	ZM90	Stanley B. Zdonik , David Maier, Object-oriented database systems, Readings in object-oriented database systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989

CITED BY 8

	Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Journal of the ACM (JACM), v.45 n.5, p.798-842, Sept. 1998
	Yatin Saraiya, Projection-propagation in complex-object query languages, Proceedings of the second international conference on Information and knowledge management, p.413-422, November 01-05, 1993, Washington, D.C., United States
	Jan Van den Bussche , Dirk Van Gucht, Semi-determinism (extended abstract), Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.191-201, June 02-05, 1992, San Diego, California, United States
	Edward P. F. Chan, Containment and minimization of positive conjunctive queries in OODB's, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.202-211, June 02-05, 1992, San Diego, California, United States
	Yannis Papakonstantinou , Vasilis Vassalos, Query rewriting for semistructured data, ACM SIGMOD Record, v.28 n.2, p.455-466, June 1999
	Jochen Rasch , Hans-Joachim Klein, Functional dependencies for value based identification in object-oriented databases, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
	Catriel Beeri, New data models and languages—the challenge, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-15, June 02-05, 1992, San Diego, California, United States
	Alin Deutsch , Bertram Ludäscher , Alan Nash, Rewriting queries using views with access patterns under integrity constraints, Theoretical Computer Science, v.371 n.3, p.200-226, March, 2007