Many-Sorted First-Order Logic Database Language

DOI10.1093/COMJNL/35.2.129MaRDI QIDQ4019961zbMATH OpenOpenAlexFDO

Authors

Publication date 16 January 1993

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/35.2.129

zbMATH Keywords

database languagesmany-sorted first-order logicone-sorted first-order logicrelational data model

Mathematics Subject Classification ID

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

Recommendations

• On first-order-logic databases
• On the expressive power of F-logic language
• scientific article; zbMATH DE number 1962796
• Comparison of expressive power of some query languages for databases
• scientific article; zbMATH DE number 824731

This page was built for publication: Many-Sorted First-Order Logic Database Language

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