๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Functional dependencies in Horn theories

โœ Scribed by Toshihide Ibaraki; Alexander Kogan; Kazuhisa Makino

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
234 KB
Volume
108
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On word problems in horn theories
On word problems in horn theories
โœ Emmanuel Kounalis; Michael Rusinowitch ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 734 KB

We interpret Horn clauses as conditional rewrite rules. Then we give sufficient conditions so that the word problem can be decided by conditional normalization in some Horn theories. We also show how to prove theorems in the initial models of Horn theories.

On Functional Dependencies in Advanced D
On Functional Dependencies in Advanced Data Models
โœ Sven Hartmann; Sebastian Link ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 855 KB

One dilemma in the database community is the great variety of data models existing. We define an abstract data model that captures most of the relevant data models depending on the underlying type system. An algebraic foundation for the investigation of dependencies is presented similar to the one w

Axiomatizing functional dependencies in
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model
โœ Sven Hartmann; Anne Hoffmann; Sebastian Link; Klaus-Dieter Schewe ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 96 KB

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.