Abstract
In May, 1990, a small workshop was held in New Hope, Pennsylvania, to discuss the fundamental issues raised by continuing work on the interface between databases and programming languages. Four topics were addressed: new directions stemming from object-oriented data models, contributions of type theory to database programming languages (DBPLs), applications of logic to DBPL issues, and DBPL implementations.
This workshop was organized under the auspices of the INRIA-NSF program, Languages for Databases and Knowledge Bases.
- {Abi90} S. Abiteboul. Virtuality in object-oriented databases. In Journées Bases de Données, Montpellier, France, 1990.Google Scholar
- {AB88} S. Abiteboul and C. Beeri. On the power of languages for the manipulation of complex objects. In INRIA Research Report 846 (1988). To appear in TODS.Google Scholar
- {ACO85} A. Albano, L. Cardelli, and R. Orsini. Galileo: A strongly-typed, interactive conceptual language. ACM Transactions on Database Systems, 10(2):230-260, June 1985. Google ScholarDigital Library
- {AG91} S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Transactions on Database Systems, to appear, 1991. Google ScholarDigital Library
- {AK89} S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM-SIGMOD Intl. Conf. on Management of Data, 1989. To appear in Journal of the ACM. Google ScholarDigital Library
- {AKW90} S. Abiteboul, P. Kanellakis, and E. Waller. Method schemas. In ACM Intl. Symp. on Principles of Database Systems, 1990. Google ScholarDigital Library
- {ALR90} M. Adiba, C. Lecluse, and P. Richard. Rationale and Design of Serendip, a Database Programming Language. Technical Report, Altair, 1990. In preparation.Google Scholar
- {BANLB*87} K.L. Chung, B.A. Nixon, D. Lauzon, A. Borgida, J. Mylopoulos, and M. Stanley. Design of a Compiler for a Semantic Data Model. Technical Report CSRI-44, Department of Computer Science, University of Toronto, May 1987.Google Scholar
- {BCGS89} V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance and explicit coercion. In Proc. 4th IEEE LICS, 1989. Google ScholarDigital Library
- {BGS90} V. Breazu-Tannen, C. Gunter, and A. Scedrov. Computing with coercions. In Proc. 5th Conf. on Lisp and Functional Programming, 1990. Google ScholarDigital Library
- {Bor90} A. Borgida. On type checking and heterogeneity. 1990. in preparation.Google Scholar
- {CKW89a} W. Chen, M. Kifer, and D.S. Warren. Hilog: a first-order semantics of higher-order logic programming constructs. In Proceedings of North American Conf. on Logic Programming, 1989.Google Scholar
- {CKW89b} W. Chen, M. Kifer, and D.S. Warren. Hilog as a platform for database languages (or why predicate calculus is not enough). In Morgan Kaufmann, editor, The 2nd Intl. Workshop on Database Programming Languages, 1989. Google ScholarDigital Library
- {CKW90} W. Chen, M. Kifer, and D.S. Warren. Foundations of higher-order logic programming. 1990. submitted for publication.Google Scholar
- {C+90} R. Connor, a protected viewing mechanism in Napier88, in proc. EDBT-90.Google Scholar
- {D+88} M. Dincbas et. al. The constraint logic programming language chip. In Proc. Fifth Generation Computer Systems, Tokyo, Japan, 1988.Google Scholar
- {GM90} G. Graefe, D. Maier. Query Optimization in Object-Oriented Database Systems: a Prospectus. In Advances in Object-Oriented Database Systems K. Dittrich, editor Lecture Notes in Computer Science 334, Springer-Verlag, 1988. Google ScholarDigital Library
- {GMDK90} G. Graefe, D. Maier, S. Daniels, T. Keller. A Software Architecture for Efficient Query Processing in Object-Oriented Database Systems with Encapsulated Behavior. Unpl. Manuscript, April, 1990.Google Scholar
- {GV90a} S. Grumbach and V. Vianu. Tractable query languages for complex objects, in preparation.Google Scholar
- {GV90b} S. Grumbach and V. Vianu. Playing games with objects. In Proc. Int'l. Conf. on Database Theory, 1990. to appear. Google ScholarDigital Library
- {Hul87} R. Hull. A survey of theoretical research on typed complex database objects. In J. Paredaens, editor, Databases, pages 193-256, Academic Press, 1987. Google ScholarDigital Library
- {JL87} J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proc. ACM Symp. on Principles of Programming Languages, pages 111-119, 1987. Google ScholarDigital Library
- {KG89} M. Kifer and G. Laussen. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In ACM SIGMOD Int'l. Conf. on Management of Data, pages 134-146, 1989. Google ScholarDigital Library
- {KJ89} M. Kifer and J. Wu. A logic for object-oriented logic programming (maier's o-logic revisited). In Proc. ACM Symp. on Principles of Database Systems, pages 379-393, 1989. Google ScholarDigital Library
- {KKR90} P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. In Proc. ACM Symp. on Principles of Database Systems, pages 299-313, 1990.Google Scholar
- {KMM90} P.C. Kanellakis, H. Mairson, and J.C. Mitchell. Unification and ML type reconstruction. 1990. to appear as book chapter in MIT Press volume on unification, dedicated to J.A. Robinson (full version manuscript available); see also ACM POPL 89 and ACM POPL 90.Google Scholar
- {LR90a} C. Lecluse and P. Richard. Data Abstraction, Bulk Data and relations in Database Programming Languages. Technical Report 44, Altair, 1990. to appear.Google Scholar
- {LR90b} C. Lecluse and P. Richard. Schemas and Views in Database Programming Languages. Technical Report, Altair, 1990. to appear.Google Scholar
- {Mai86} D. Maier. A Logic for Objects, In Proc. Workshop on Foundations of Deductive Databases and Logic Programming, Washington D.C., pp 6-26, 1986.Google Scholar
- {M+89} R. Morrison, A.L. Brown, R. Connor, A. Dearle. Napier88 Reference Manual, Persistent Programming Research Report PPRR-77-89, University of St Andrews.Google Scholar
- {MS89} F. Matthes and J.W. Schmidt. The Type System of DBPL. In Proc. of the 2nd Workshop on Database Programming Languages, Salishan Lodge, Oregon, pages 255- 260, June 1989. Google ScholarDigital Library
- {NS88} S.A. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, Rockville, Md., 1988. Google ScholarDigital Library
- {OB88} A. Ohori and P. Buneman. Type inference in a database programming language. In Proc. 4th Conf. on Lisp and Functional Programming, 1988. Google ScholarDigital Library
- {OBB89} A. Ohori, P. Buneman, and V. Breazu-Tannen. Database programming in Machiavelli - a polymorphic language with static type inference. In Proc. ACM-SIGMOD Intl. Conf. on Management of Data, pages 46-57, Portland, Oregon, May-June 1989. Google ScholarDigital Library
- {Sig89} SIGMOD Record. Special Issue on Rule Management and Processing in Expert Database Systems 18(3). September 1989. Google ScholarDigital Library
- {SM90} J.W. Schmidt and F. Matthes. DBPL Language and System Manual. Esprit Project 892 MAP 2.3, Fachbereich Informatik, Universität Hamburg, West Germany, April 1990.Google Scholar
- {SS89} Tim Sheard and David Stemple. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322-368, September 1989. Google ScholarDigital Library
- {Wal90} E. Waller. Updates in recursion-free method schemas. 1990. in preparation.Google Scholar
- {WHW90} S. Widjojo, R. Hull, and D. Wile. A specificational approach to merging persistent object bases. In Proc. of Fourth Intl. Workshop on Persistent Object Systems Design, Implementation and Use, Morgan Kaufmann, Inc., Martha's Vineyard, Mass., September 1990. to appear.Google Scholar
Index Terms
- New hope on data models and types: report of an NSF-INRIA workshop
Comments