Pages that link to "Item:Q3334109"
From MaRDI portal
The following pages link to Formal Systems for Tuple and Equality Generating Dependencies (Q3334109):
Displaying 24 items.
- On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
- Partition semantics for relations (Q579957) (← links)
- Decision problems of object histories (Q582039) (← links)
- Strong equivalence of relational expressions under dependencies (Q788498) (← links)
- Binary equality implication constraints, normal forms and data redundancy (Q845883) (← links)
- A note on lossless database decompositions (Q1060867) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- Relations, dependencies, and some problems of systems theory (Q1123020) (← links)
- On characterizing boundedness of database schemes with bounded dependencies (Q1199825) (← links)
- Selective inheritance of attribute values in relational databases (Q1202889) (← links)
- Static and dynamic aspects of goal-oriented concurrency control (Q1353964) (← links)
- A top-down proof procedure for generalized data dependencies (Q1403338) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- Characterizing functional dependencies in formal concept analysis with pattern structures (Q2254619) (← links)
- Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations (Q2278100) (← links)
- Dependencies in relational models of databases (Q2374317) (← links)
- Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← links)
- The complexity of embedded axiomatization for a class of closed database views (Q2502159) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- On a general class of data dependencies in the relational model and its implication problems (Q2639634) (← links)
- ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK (Q3583068) (← links)
- A Formal Context for Symmetric Dependencies (Q5445326) (← links)