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

On functional dependencies in q-Horn theories

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

Book ID
108306894
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
152 KB
Volume
131
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Functional dependencies in Horn theories
Functional dependencies in Horn theories
โœ Toshihide Ibaraki; Alexander Kogan; Kazuhisa Makino ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 234 KB
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