𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functional dependencies and its axiom system in XML

✍ Scribed by Xiangguo Zhao; Guoren Wang; Huan Hou; Dabin Ding

Publisher
Wuhan University
Year
2007
Tongue
English
Weight
321 KB
Volume
12
Category
Article
ISSN
1007-1202

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Family of functional dependencies and it
Family of functional dependencies and its equivalent descriptions
✍ J. Demetrovics; V.D. Thi πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 608 KB

The family of functional dependencies (FDs) was introduced by E. F. Codd. Equivalent descriptions of family of FDs play essential roles in the design and implementation of the relational datamodel. It is known [1-10] that closure operations, meet-semilattices, families of members which are not inter

Pseudo differential operators and integr
Pseudo differential operators and integrable systems in AXIOM
✍ Werner M. Seiler πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 643 KB

An implementation of the algebra of pseudo differential operators in the computer algebra system AXIOM is described. In several examples the application of the package to typical computations in the theory of integrable systems is demonstrated.