The following pages link to Sven Hartmann (Q697629):
Displaying 29 items.
- Deciding implication for functional dependencies in complex-value databases (Q860838) (← links)
- Numerical constraints on XML data (Q964502) (← links)
- Mandatory representation designs MRD(4\(,k;v\)) with \(k\equiv 2\) mod 3 (Q998419) (← links)
- Axiomatizing functional dependencies in the higher-order entity-relationship model (Q1014410) (← links)
- Maximal flat antichains of minimum weight (Q1028854) (← links)
- Asymptotic results on suborthogonal \(\overrightarrow{\mathfrak G}\)-decompositions of complete digraphs (Q1302165) (← links)
- Orthogonal double covers of general graphs. (Q1428558) (← links)
- Orthogonal decompositions of complete digraphs (Q1606031) (← links)
- Constructing Armstrong tables for general cardinality constraints and not-null constraints (Q2254637) (← links)
- On the implication problem for cardinality constraints and functional dependencies (Q2349821) (← 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)
- More orthogonal double covers of complete graphs by Hamiltonian paths (Q2427509) (← links)
- Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← 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)
- Even bonds of prescribed directed parity (Q2583664) (← links)
- Minimum weight flat antichains of subsets (Q2665830) (← links)
- (Q2716621) (← links)
- Decomposing relationship types by pivoting and schema equivalence (Q2778443) (← links)
- (Q2845525) (← links)
- The Boyce-Codd-Heath Normal Form for SQL (Q3003352) (← links)
- Superpure digraph designs (Q3150160) (← links)
- Orthogonal double covers by super-extendable cycles (Q3150162) (← links)
- Foundations for a Fourth Normal Form over SQL-Like Databases (Q3224000) (← links)
- (Q3433936) (← links)
- Orthogonal directed covers by flowers (Q3438970) (← links)
- Self-orthogonal decompositions of graphs into matchings (Q3439401) (← links)
