Conceptual modeling of data base operations

DOI10.1007/BF00993149zbMATH Open0477.68109OpenAlexW1978622394MaRDI QIDQ3933801FDOQ3933801

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

• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)

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)