Pages that link to "Item:Q3883572"
From MaRDI portal
The following pages link to On the menbership problem for functional and multivalued dependencies in relational databases (Q3883572):
Displaying 50 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Succinctness in dependency systems (Q593796) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Abstract functional dependency structures (Q803779) (← links)
- Deciding implication for functional dependencies in complex-value databases (Q860838) (← links)
- Stochastic limit-average games are in EXPTIME (Q933752) (← links)
- Charting the completeness frontier of inference systems for multivalued dependencies (Q1006342) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- An algebraic theory of functional and multivalued dependencies in relational databases (Q1096380) (← links)
- 'Possible' membership of a multivalued dependency in a relational database (Q1136501) (← links)
- The interaction of integrity constraints in an information system (Q1148700) (← links)
- The theory of functional and template dependencies (Q1162368) (← links)
- Inferring multivalued dependencies from functional and join dependencies (Q1168088) (← links)
- Axioms and algorithms for inferences involving probabilistic independence (Q1173959) (← links)
- Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in \(O(N^ 2)\) time (Q1199942) (← links)
- Logical and algorithmic properties of independence and their application to Bayesian networks (Q1356193) (← links)
- Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers (Q1823739) (← links)
- Membership problem for embedded multivalued dependencies under some restricted conditions (Q1838346) (← links)
- Insertion anomalies and the justification for 4NF in relational databases (Q1894246) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Algorithms and conditional lower bounds for planning problems (Q2238604) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- On a problem of Fagin concerning multivalued dependencies in relational databases (Q2368982) (← links)
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets (Q2369012) (← links)
- Full hierarchical dependencies in fixed and undetermined universes (Q2385444) (← links)
- Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Characterising nested database dependencies by fragments of propositional logic (Q2478548) (← links)
- Functional and multivalued dependencies in nested databases generated by record and list constructor (Q2502161) (← links)
- Conditions for lossless join (Q2776788) (← links)
- Another view of functional and multivalued dependencies in the relational database model (Q3038662) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)
- Spoilt for Choice: Full First-Order Hierarchical Decompositions (Q3638288) (← links)
- A theory of data dependencies over relational expressions (Q3670613) (← links)
- Structure of closures in relational schemas with join and functional dependencies (Q4007427) (← links)
- Compact scheme forests in nested normal form (Q4032905) (← links)
- (Q5015274) (← links)
- (Q5028458) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- (Q5141616) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes (Q5445293) (← links)
