Functional and predictive programming in OODB's

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Functional and predictive programming in OODB's

Full text

Pdf (1.43 MB)

Source

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

San Diego, California, United States

Pages: 176 - 190

Year of Publication: 1992

ISBN:0-89791-519-4

Authors

Catriel Beeri
Tova Milo

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): 1, Downloads (12 Months): 10, Citation Count: 13

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/137097.137863 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.

	1	S. Abiteboul, C. Beeri. On the Power of Languages for the Manipulation of Complex Objects. Proc. Int. Workshop on Theory and Applications of Nesled Relalions and Complex Objects. Darmstadt, 1987
	2	M. Atkinson et al. The object-oriented database system manifesto. First Int'l Conf. on Deductive and Object Oriented Databases. W. Kim, J-M. Nicolas, S. Nishio(eds), 1989,40-57
	3	C. Beeri. Formal Models for Object Oriented Database Systems. First Int'l Conf. on Deductive and Object Oriented Databases. W. Kim, J-M. Nicolas, S. Nishio(eds), 1989,370-395
	4	Catriel Beeri , Tova Milo, Subtyping in OODB's (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.300-314, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113441]
	5	C. Beeri and T. Milo. On Databases, Queries, and Domain Independence. Submitted to ICDT 92
	6	Val Breazu-Tannen , Peter Buneman , Shamim Naqvi, Structural recursion as a query language, Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data, p.9-19, April 1992, Nafplion, Greece
	7	Stéphane Grumbach , Victor Vianu, Tractable query languages for complex object databases, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.315-327, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113442]
	8	Hartmut Ehrig , B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
	9	H.-D. Ehrich , A. Sernadas , C. Sernadas, Objects, object types and object identification, Categorical methods in computer science with aspects from topology, Springer-Verlag New York, Inc., New York, NY, 1989
	10	Joseph A. Goguen , José Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
	11	J. Gougen, j. Tatcher, E. Wagner. An Initial Algebra Approach to The Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Programming Methodology volume 4. Raymond T. Yeh(ed) 1978.80-150
	12	Richard Hull , Jianwen Su, On the expressive power of database queries with intermediate types, Journal of Computer and System Sciences, v.43 n.1, p.219-267, Aug. 1991 [doi>10.1016/0022-0000(91)90036-5]
	13	Neil Immerman , Sushant Patnaik , David Stemple, The expressiveness of a family of finite set languages, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.37-52, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113417]
	14	M. Kifer. On Safety, Domain Independence, and Capturability. 3rd Int. Conf. On Data and Knowledge Bases: Improving usability and Responsiveness, Jerusalem, Israel, 1988
	15	C. Lécluse , P. Richard, Modeling complex structures in object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.360-368, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73756]
	16	Alexandra Poulovassilis , Carol Small, A Functional Programming Approach to Deductive Databases, Proceedings of the 17th International Conference on Very Large Data Bases, p.491-500, September 03-06, 1991
	17	Amílcar Sernadas , Cristina Sernadas , Hans-Dieter Ehrich, Object-Oriented Specification of Databases: An Algebraic Approach, Proceedings of the 13th International Conference on Very Large Data Bases, p.107-116, September 01-04, 1987
	18	J. W. Thatcher , E. G. Wagner , J. B. Wright, Data Type Specification: Parameterization and the Power of Specification Techniques, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.711-732, Oct. 1982 [doi>10.1145/69622.357192]
	19	Jeffrey D. Ullman, Principles of Database Systems, W. H. Freeman & Co., New York, NY, 1983
	20	Wieringa, R. Van de Riet, R. Algebraic Specification of Object Dynamics in Knowledge Base Domains. R. Meersman, Z. Shi, C. Kung(eds), The Role of Artificial Intelligence in Databases and Information Systems North Holand 1990 411-436

CITED BY 13

	Michael Benedikt , Leonid Libkin, Languages for relational databases over interpreted structures, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.87-98, May 11-15, 1997, Tucson, Arizona, United States
	José Meseguer , Xiaolei Qian, A logical semantics for object-oriented databases, ACM SIGMOD Record, v.22 n.2, p.89-98, June 1, 1993
	Martha Escobar-Molano , Richard Hull , Dean Jacobs, Safety and translation of calculus queries with scalar functions, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.253-264, May 25-28, 1993, Washington, D.C., United States
	H. V. Jagadish , Alberto O. Mendelzon , Tova Milo, Similarity-based queries, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.36-45, May 22-25, 1995, San Jose, California, United States
	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
	Stéphane Grumbach , Tova Milo, Towards tractable algebras for bags, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.49-58, May 25-28, 1993, Washington, D.C., United States
	Alberto O. Mendelzon , Tova Milo , Emmanuel Waller, Object migration, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.232-242, May 24-27, 1994, Minneapolis, Minnesota, United States
	Catriel Beeri , Tova Milo, On the power of algebras with recursion, ACM SIGMOD Record, v.22 n.2, p.377-387, June 1, 1993
	Catriel Beeri , Tova Milo, Subtyping in OODB's (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.300-314, May 29-31, 1991, Denver, Colorado, United States
	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
	Alexandra Poulovassilis , Carol Small, Algebraic query optimisation for database programming languages, The VLDB Journal — The International Journal on Very Large Data Bases, v.5 n.2, p.119-132, April 1996
	Alexandra Poulovassilis , Carol Small, Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages, Proceedings of the 20th International Conference on Very Large Data Bases, p.415-426, September 12-15, 1994
	Serge Abiteboul , Sophie Cluet , Tova Milo, Querying and Updating the File, Proceedings of the 19th International Conference on Very Large Data Bases, p.73-84, August 24-27, 1993