The following pages link to Sebastian Link (Q269506):
Displayed 50 items.
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Inclusion dependencies and their interaction with functional dependencies in SQL (Q730506) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics (Q765524) (← links)
- Deciding implication for functional dependencies in complex-value databases (Q860838) (← links)
- Numerical constraints on XML data (Q964502) (← links)
- Charting the completeness frontier of inference systems for multivalued dependencies (Q1006342) (← links)
- Axiomatizing functional dependencies in the higher-order entity-relationship model (Q1014410) (← links)
- Automated reasoning about key sets (Q1799066) (← links)
- Constructing Armstrong tables for general cardinality constraints and not-null constraints (Q2254637) (← links)
- Possibilistic keys (Q2329094) (← 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)
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty (Q2446551) (← 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)
- (Q2703751) (← links)
- Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints (Q2841258) (← links)
- (Q2845525) (← links)
- Independence in Database Relations (Q2849431) (← links)
- Propositional Reasoning about Saturated Conditional Probabilistic Independence (Q2915032) (← links)
- Logical Foundations of Possibilistic Keys (Q2938493) (← links)
- Logics for Approximating Implication Problems of Saturated Conditional Independence (Q2938496) (← links)
- The Boyce-Codd-Heath Normal Form for SQL (Q3003352) (← links)
- Foundations for a Fourth Normal Form over SQL-Like Databases (Q3224000) (← links)
- Refinements in Typed Abstract State Machines (Q3401956) (← links)
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS (Q3538857) (← links)
- Numerical Constraints for XML (Q3612663) (← links)
- On Inferences ofWeak Multivalued Dependencies (Q3635992) (← links)
- Spoilt for Choice: Full First-Order Hierarchical Decompositions (Q3638288) (← links)
- (Q3639042) (← links)
- (Q4413448) (← links)
- (Q4472216) (← links)
- On the Interaction of Inclusion Dependencies with Independence Atoms (Q4645737) (← links)
- (Q4671951) (← links)
- (Q4672914) (← links)
- (Q4825705) (← links)
- On Functional Dependencies in Advanced Data Models (Q4924533) (← links)
- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations (Q4931596) (← links)
- Solving the Implication Problem for XML Functional Dependencies with Properties (Q4931598) (← links)
- Technical Correspondence (Q5012536) (← links)
- (Q5133475) (← 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)
- Lossless Decompositions in Complex-Valued Databases (Q5445309) (← links)
- On the Notion of an XML Key (Q5504580) (← links)