An object-oriented deductive language

DOI10.1007/BF01530926MaRDI QIDQ1360678zbMATH OpenFDO

Authors Yves Caseau

Publication date 27 August 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01530926

zbMATH Keywords

LAURE object-oriented language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• A reasoning mechanism for deductive object-oriented databases
• scientific article; zbMATH DE number 1203023
• Logical foundations of object-oriented and frame-based languages
• A logic for programming with complex objects

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A relational model of data for large shared data banks
• Can programming be liberated from the von Neumann style?
• scientific article; zbMATH DE number 4043318 (Why is no real title available?)
• Object identity as a query language primitive
• Set constructors in a logic database language

Cited in

(6)

• Constraint satisfaction with an object-oriented knowledge representation language
• scientific article; zbMATH DE number 1203023 (Why is no real title available?)
• Logical foundations of object-oriented and frame-based languages
• Query processing in DOQL: A deductive database language for the ODMG model
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• A logical framework for deductive objects

This page was built for publication: An object-oriented deductive language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1360678)