New hope on data models and types
- 1 December 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 19 (4) , 41-48
- https://doi.org/10.1145/122058.122062
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 .Keywords
This publication has 12 references indexed in Scilit:
- A rule-based language with functions and setsACM Transactions on Database Systems, 1991
- Method schemasPublished by Association for Computing Machinery (ACM) ,1990
- Rule management and evaluation: an active DBMS perspectiveACM SIGMOD Record, 1989
- Automatic verification of database transaction safetyACM Transactions on Database Systems, 1989
- A logic for object-oriented logic programmingPublished by Association for Computing Machinery (ACM) ,1989
- Database programming in Machiavelli---a polymorphic language with static type inferencePublished by Association for Computing Machinery (ACM) ,1989
- F-logic: a higher-order language for reasoning about objects, inheritance, and schemePublished by Association for Computing Machinery (ACM) ,1989
- Type inference in a database programming languagePublished by Association for Computing Machinery (ACM) ,1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems, 1985