Cited By
View all- Chen W(2005)Declarative specification and evaluation of database updatesDeductive and Object-Oriented Databases10.1007/3-540-55015-1_8(147-166)Online publication date: 4-Jun-2005
New hope on data models and types: report of an NSF-INRIA workshop
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.
References
[1]
{Abi90} S. Abiteboul. Virtuality in object-oriented databases. In Journées Bases de Données, Montpellier, France, 1990.
[2]
{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.
[3]
{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.
[4]
{AG91} S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Transactions on Database Systems, to appear, 1991.
[5]
{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.
[6]
{AKW90} S. Abiteboul, P. Kanellakis, and E. Waller. Method schemas. In ACM Intl. Symp. on Principles of Database Systems, 1990.
[7]
{ALR90} M. Adiba, C. Lecluse, and P. Richard. Rationale and Design of Serendip, a Database Programming Language. Technical Report, Altair, 1990. In preparation.
[8]
{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.
[9]
{BCGS89} V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance and explicit coercion. In Proc. 4th IEEE LICS, 1989.
[10]
{BGS90} V. Breazu-Tannen, C. Gunter, and A. Scedrov. Computing with coercions. In Proc. 5th Conf. on Lisp and Functional Programming, 1990.
[11]
{Bor90} A. Borgida. On type checking and heterogeneity. 1990. in preparation.
[12]
{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.
[13]
{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.
[14]
{CKW90} W. Chen, M. Kifer, and D.S. Warren. Foundations of higher-order logic programming. 1990. submitted for publication.
[15]
{C+90} R. Connor, a protected viewing mechanism in Napier88, in proc. EDBT-90.
[16]
{D+88} M. Dincbas et. al. The constraint logic programming language chip. In Proc. Fifth Generation Computer Systems, Tokyo, Japan, 1988.
[17]
{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.
[18]
{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.
[19]
{GV90a} S. Grumbach and V. Vianu. Tractable query languages for complex objects, in preparation.
[20]
{GV90b} S. Grumbach and V. Vianu. Playing games with objects. In Proc. Int'l. Conf. on Database Theory, 1990. to appear.
[21]
{Hul87} R. Hull. A survey of theoretical research on typed complex database objects. In J. Paredaens, editor, Databases, pages 193-256, Academic Press, 1987.
[22]
{JL87} J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proc. ACM Symp. on Principles of Programming Languages, pages 111-119, 1987.
[23]
{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.
[24]
{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.
[25]
{KKR90} P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. In Proc. ACM Symp. on Principles of Database Systems, pages 299-313, 1990.
[26]
{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.
[27]
{LR90a} C. Lecluse and P. Richard. Data Abstraction, Bulk Data and relations in Database Programming Languages. Technical Report 44, Altair, 1990. to appear.
[28]
{LR90b} C. Lecluse and P. Richard. Schemas and Views in Database Programming Languages. Technical Report, Altair, 1990. to appear.
[29]
{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.
[30]
{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.
[31]
{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.
[32]
{NS88} S.A. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, Rockville, Md., 1988.
[33]
{OB88} A. Ohori and P. Buneman. Type inference in a database programming language. In Proc. 4th Conf. on Lisp and Functional Programming, 1988.
[34]
{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.
[35]
{Sig89} SIGMOD Record. Special Issue on Rule Management and Processing in Expert Database Systems 18(3). September 1989.
[36]
{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.
[37]
{SS89} Tim Sheard and David Stemple. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322-368, September 1989.
[38]
{Wal90} E. Waller. Updates in recursion-free method schemas. 1990. in preparation.
[39]
{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.
Index Terms
- New hope on data models and types: report of an NSF-INRIA workshop
Comments
Information & Contributors
Information
Published In
Copyright © 1990 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 1990
Published in SIGMOD Volume 19, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 166Total Downloads
- Downloads (Last 12 months)56
- Downloads (Last 6 weeks)14
Reflects downloads up to 09 Nov 2024
Other Metrics
Citations
Cited By
View all- Chen W(2005)Declarative specification and evaluation of database updatesDeductive and Object-Oriented Databases10.1007/3-540-55015-1_8(147-166)Online publication date: 4-Jun-2005
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in