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

abstract data typesaxiomatic specification of data basesentity relationship modelmany sorted logicprogram synthesisquery operationsresolutionstate-space approachupdate operations

Mathematics Subject Classification ID

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

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3264081 (Why is no real title available?)
• 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)