On the expressive power of F-logic language

DOI10.1007/BF02947203MaRDI QIDQ1375331zbMATH OpenOpenAlexFDO

Authors Zengping Tian, Yujun Wang, Yunyao Qu, Baile Shi

Publication date 14 January 1998

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

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

zbMATH Keywords

F-logic languageframe logiclogic database language

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4043318 (Why is no real title available?)
• A logic for programming with complex objects
• A relational model of data for large shared data banks
• Computable queries for relational data bases
• Logical foundations of object-oriented and frame-based languages

Cited in

(3)

• Many-Sorted First-Order Logic Database Language
• The comparison of the expressive power of first-order dynamic logics
• Complex-Prolog: A logic database language for handling complex objects

This page was built for publication: On the expressive power of F-logic language

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