Finite axiomatization of languages for representations of system properties: axiomatization of dependencies

Authors:
S. V. Petrov
Affiliations:
-
Venue:
Information Sciences: an International Journal
Year:
1989

Citing 0
Cited 4

Characterisations of multivalued dependency implication over undetermined universes

Journal of Computer and System Sciences
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations

ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases

Annals of Mathematics and Artificial Intelligence
Reasoning about functional and full hierarchical dependencies over partial relations

Information Sciences: an International Journal

Quantified Score

Hi-index	0.07

Visualization

Abstract