A formalization of the Binary Object-Role Model based on logic

DOI10.1016/0169-023X(95)00045-TzbMATH Open0875.68303OpenAlexW2095782492MaRDI QIDQ4332047FDOQ4332047

Authors: Olga de Troyer 

Publication date: 27 February 1997

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-023x(95)00045-t

Recommendations

• Lightweight formalization and validation of ORM models
• Logic of ``classes and binary relations models: I
• scientific article; zbMATH DE number 1182733
• Classification and transformations of binary relationship relation schemata
• SDM-logic: An approach for analysing semantic data models

zbMATH Keywords

First-order logicIntegrity constraintsBinary-relationship modelConceptual modelsData schemaLexical referenceabilityMany sorted logic

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (2)

• Lightweight formalization and validation of ORM models
• Classification and transformations of binary relationship relation schemata

This page was built for publication: A formalization of the Binary Object-Role Model based on logic

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