Pages that link to "Item:Q1123008"
From MaRDI portal
The following pages link to Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008):
Displaying 6 items.
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- A complete axiomatization of full acyclic join dependencies (Q293431) (← links)
- Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Valuations in incomplete information databases (Q1123012) (← links)
- Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← links)
