A deductive and typed object-oriented language

René Bal, Herman Balsters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
26 Downloads (Pure)

Abstract

In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Datalog equipped with complex objects, object identities, and multiple inheritance based on Cardelli type theory. The language also incorporates a very general notion of sets as first-class objects. The paper offers a formal description of DTL, as well as a denotational semantics for DTL programs.
Original languageEnglish
Title of host publicationDeductive and Object-Oriented Databases
Subtitle of host publicationThird International Conference, DOOD'93, Phoenix, Arizona, USA, December 6–8, 1993. Proceedings
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages340-359
Number of pages20
ISBN (Electronic)978-3-540-48212-3
ISBN (Print)978-3-540-57530-6
DOIs
Publication statusPublished - 1993
Event3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993 - Phoenix, United States
Duration: 6 Dec 19938 Dec 1993
Conference number: 3

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume760
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993
Abbreviated titleDOOD
CountryUnited States
CityPhoenix
Period6/12/938/12/93

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • DB-PRJTM: TWENTE-MILANO
  • Query languages
  • Object-oriented databases
  • Inheritance
  • Type theory
  • Resolution
  • Denotational semantics

Fingerprint Dive into the research topics of 'A deductive and typed object-oriented language'. Together they form a unique fingerprint.

Cite this