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

DOI10.1016/0169-023X(95)00045-TMaRDI QIDQ4332047zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Data structures (68P05)

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

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)