Formal semantics for database schemas

DOI10.1016/0306-4379(89)90025-2MaRDI QIDQ1124390zbMATH OpenOpenAlexFDO

Authors Dan A. Simovici, Dan C. Stefanescu

Publication date 1989

Published in Information Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0306-4379(89)90025-2

zbMATH Keywords

knowledge representationalgebraic semanticsdatabase schema

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 41736
• An algebraic approach to databases with complex objects
• An algebraic point of view of the data structures of database systems
• scientific article; zbMATH DE number 3974346
• scientific article; zbMATH DE number 3972251

Cited in

(8)

• Formal specification scheme for database applications using requirements particle networks
• Representing and reasoning on database conceptual schemas
• Complete conceptual schema algebras
• Form invariance of schema and exact schema theorem
• Method schemas.
• scientific article; zbMATH DE number 3972251 (Why is no real title available?)
• scientific article; zbMATH DE number 41736 (Why is no real title available?)
• Architecture and formal model of shared database

This page was built for publication: Formal semantics for database schemas

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