A logical framework for deductive objects

DOI10.1016/0306-4379(92)90034-KMaRDI QIDQ688277zbMATH OpenFDO

Authors Takao Miura

Publication date 20 December 1993

Published in Information Systems (Search for Journal in Brave)

zbMATH Keywords

deductive databasescomplex objectsdeductive closures

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• A deductive database approach for complex objects
• Logical foundations of object-oriented and frame-based languages
• Extended database logic: Complex objects and deduction
• An object-oriented deductive language
• A logic for programming with complex objects

Cited in

(2)

• Object calculi in linear logic
• Logical foundations of CafeOBJ

This page was built for publication: A logical framework for deductive objects

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