Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model

Sven Hartmann; Anne Hoffmann; Sebastian Link; Klaus-Dieter Schewe

doi:10.1016/s0020-0190(03)00267-9

Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model

Sven Hartmann
, Anne Hoffmann
, Sebastian Link
, Klaus-Dieter Schewe

Institute of Business Informatics - Data & Knowledge Engineering

Research output: Contribution to journal › Article › peer-review

Abstract

A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model. Keywords: Databases, Functional Dependencies, Axiomatization

Original language	English
Pages (from-to)	133-137
Number of pages	5
Journal	Information Processing Letters
Volume	87
Issue number	3
DOIs	https://doi.org/10.1016/s0020-0190(03)00267-9
Publication status	Published - 16 Aug 2003

Fields of science

102 Computer Sciences
102015 Information systems

Access to Document

10.1016/s0020-0190(03)00267-9

Cite this

@article{88e980fd1517428d98cee255bf131763,

title = "Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model",

abstract = "A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model. Keywords: Databases, Functional Dependencies, Axiomatization",

author = "Sven Hartmann and Anne Hoffmann and Sebastian Link and Klaus-Dieter Schewe",

year = "2003",

month = aug,

day = "16",

doi = "10.1016/s0020-0190(03)00267-9",

language = "English",

volume = "87",

pages = "133--137",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier Science B.V.",

number = "3",

}

TY - JOUR

T1 - Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model

AU - Hartmann, Sven

AU - Hoffmann, Anne

AU - Link, Sebastian

AU - Schewe, Klaus-Dieter

PY - 2003/8/16

Y1 - 2003/8/16

N2 - A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model. Keywords: Databases, Functional Dependencies, Axiomatization

AB - A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model. Keywords: Databases, Functional Dependencies, Axiomatization

UR - http://www.dke.jku.at/index.html?/research/index.html

UR - https://www.scopus.com/pages/publications/0037671524

U2 - 10.1016/s0020-0190(03)00267-9

DO - 10.1016/s0020-0190(03)00267-9

M3 - Article

SN - 0020-0190

VL - 87

SP - 133

EP - 137

JO - Information Processing Letters

JF - Information Processing Letters

IS - 3

ER -

Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model

Abstract

Fields of science

Access to Document

Other files and links

Cite this