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

algebraic semanticsdatabase schemaknowledge representation

Mathematics Subject Classification ID

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

Review text

\textit{P. Atzeni} and \textit{D. S. Parker} [Formal properties of net-based knowledge representation schemes. Proc. 2nd IEEE Conf. Data Engineering, 700-706 (1986)] formulated a system of axioms for the concept of a database schema, based on the ``is-a and the disjointness relationships between types. This paper investigates the algebraic properties of this model and of some refinements of it. This approach yields as an important by-product a methodology for designing database schemas which are free of inconsistency and redundancy. Some concrete and typical examples lead to a remarkable clarity in the presentation.

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

(9)

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

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)