On the expressive power of F-logic language

DOI10.1007/BF02947203zbMATH Open0885.68053OpenAlexW2945890884MaRDI QIDQ1375331FDOQ1375331

Yunyao Qu, Baile Shi, Zengping Tian, Yujun Wang

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)

Cites Work

• Computable queries for relational data bases
• A relational model of data for large shared data banks
• Logical foundations of object-oriented and frame-based languages
• A logic for programming with complex objects
• Title not available (Why is that?)

Cited In (2)

• Many-Sorted First-Order Logic Database Language
• The comparison of the expressive power of first-order dynamic logics

   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 👍 👎

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)