Conceptual modeling of data base operations

DOI10.1007/BF00993149MaRDI QIDQ3933801zbMATH OpenOpenAlexFDO

Authors C. S. dos Santos, Tim Maibaum, Antonio L. Furtado

Publication date 1981

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

resolutionabstract data typesstate-space approachprogram synthesismany sorted logicentity relationship modelupdate operationsaxiomatic specification of data basesquery operations

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05)

Cites work

• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3264081 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Conceptual modeling of data base operations

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