New hope on data models and types: report of an NSF-INRIA workshop

Authors:
Serge Abiteboul;Peter Buneman;Claude Delobel;Richard Hull;Paris Kanellakis;Victor Vianu
Affiliations:
I.N.R.I.A.;U. Pennsylvania;LRI, Altaïr;USC;Brown U.;UCSD
Venue:
ACM SIGMOD Record - Directions for future database research & development
Year:
1990

Citing 19
Cited 0

GALILEO: a strongly-typed, interactive conceptual language

ACM Transactions on Database Systems (TODS)
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A survey of theoretical research on typed complex database objects

Databases
Query optimization in object-oriented database systems: A prospectus

Lecture notes in computer science on Advances in object-oriented database systems
Type inference in a database programming language

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A logical language for data and knowledge bases

A logical language for data and knowledge bases
Database programming in Machiavelli—a polymorphic language with static type inference

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Automatic verification of database transaction safety

ACM Transactions on Database Systems (TODS)
Rule management and evaluation: an active DBMS perspective

ACM SIGMOD Record
A logic for object-oriented logic programming

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inheritance and explicit coercion

Proceedings of the Fourth Annual Symposium on Logic in computer science
Computing with coercions

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The type system of DBPL

Proceedings of the second international workshop on Database programming languages
HiLog as a platform for database languages

Proceedings of the second international workshop on Database programming languages
A rule-based language with functions and sets

ACM Transactions on Database Systems (TODS)
Method schemas

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Playing Games with Objects

ICDT '90 Proceedings of the Third International Conference on Database Theory

Quantified Score

Hi-index	0.00

Visualization

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.