| 2008 |
|---|
| 41 | EE | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Constraint Acquisition - You Can Chase but You Cannot Find.
APCCM 2008: 59-68 |
| 40 | EE | Henning Köhler,
Sebastian Link:
Lossless Decompositions in Complex-Valued Databases.
FoIKS 2008: 329-347 |
| 39 | EE | Joachim Biskup,
Sebastian Link:
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.
FoIKS 2008: 58-77 |
| 2007 |
|---|
| 38 | EE | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Efficient Reasoning About XFDs with Pre-image Semantics.
DASFAA 2007: 1070-1074 |
| 37 | EE | Sven Hartmann,
Sebastian Link:
XML Query Optimisation: Specify your Selectivity.
DEXA Workshops 2007: 30-34 |
| 36 | EE | Sven Hartmann,
Sebastian Link:
Collection Type Constructors in Entity-Relationship Modeling.
ER 2007: 307-322 |
| 35 | EE | Sven Hartmann,
Sebastian Link:
Unlocking Keys for XML Trees.
ICDT 2007: 104-118 |
| 34 | EE | Sven Hartmann,
Sebastian Link:
Numerical Constraints for XML.
WoLLIC 2007: 203-217 |
| 33 | EE | Sven Hartmann,
Henning Köhler,
Sebastian Link:
Full hierarchical dependencies in fixed and undetermined universes.
Ann. Math. Artif. Intell. 50(1-2): 195-226 (2007) |
| 2006 |
|---|
| 32 | EE | Sven Hartmann,
Sebastian Link:
Horn clauses and functional dependencies in complex-value databases.
ADC 2006: 21-30 |
| 31 | EE | Sebastian Link:
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.
DEXA Workshops 2006: 537-541 |
| 30 | EE | Sebastian Link,
Klaus-Dieter Schewe,
Jane Zhao:
Refinements in Typed Abstract State Machines.
Ershov Memorial Conference 2006: 310-321 |
| 29 | EE | Sven Hartmann,
Sebastian Link:
The Nested List Normal Form for Functional and Multivalued Dependencies.
FoIKS 2006: 137-158 |
| 28 | EE | Sebastian Link:
On Multivalued Dependencies in Fixed and Undetermined Universes.
FoIKS 2006: 258-277 |
| 27 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell. 46(1-2): 114-164 (2006) |
| 26 | EE | Sven Hartmann,
Sebastian Link:
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.
Electr. Notes Theor. Comput. Sci. 143: 73-85 (2006) |
| 25 | EE | Sven Hartmann,
Sebastian Link:
On a problem of Fagin concerning multivalued dependencies in relational databases.
Theor. Comput. Sci. 353(1-3): 53-62 (2006) |
| 24 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci. 355(2): 167-196 (2006) |
| 23 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".
Theor. Comput. Sci. 360(1-3): 459 (2006) |
| 22 | EE | Sven Hartmann,
Sebastian Link:
Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci. 364(2): 212-240 (2006) |
| 2005 |
|---|
| 21 | EE | Sven Hartmann,
Sebastian Link:
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
DEXA Workshops 2005: 818-822 |
| 20 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Functional Dependencies over XML Documents with DTDs.
Acta Cybern. 17(1): (2005) |
| 19 | EE | Sven Hartmann,
Sebastian Link:
The Implication Problem of Functional Dependencies in Complex-value Databases.
Electr. Notes Theor. Comput. Sci. 123: 125-137 (2005) |
| 2004 |
|---|
| 18 | EE | Sebastian Link,
Sven Hartmann:
Normalisation in the Presence of Lists.
ADC 2004: 49-60 |
| 17 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Weak Functional Dependencies in Higher-Order Datamodels.
FoIKS 2004: 116-133 |
| 16 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
FoIKS 2004: 134-154 |
| 15 | EE | Sven Hartmann,
Sebastian Link:
Multi-valued Dependencies in the Presence of Lists.
PODS 2004: 330-341 |
| 14 | | Sven Hartmann,
Sebastian Link:
Computing the Dependency Basis for Nested List Attributes.
SBBD 2004: 335-349 |
| 13 | EE | Sebastian Link,
Klaus-Dieter Schewe:
Distance Functional Dependencies in the Presence of Complex Values.
Acta Cybern. 16(3): 459-472 (2004) |
| 12 | EE | Sven Hartmann,
Sebastian Link:
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.
Electr. Notes Theor. Comput. Sci. 91: 171-194 (2004) |
| 11 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe,
Bernhard Thalheim:
Error-Robust Functional Dependencies.
Fundam. Inform. 59(4): 365-372 (2004) |
| 2003 |
|---|
| 10 | EE | Sven Hartmann,
Sebastian Link:
More Functional Dependencies for XML.
ADBIS 2003: 355-369 |
| 9 | EE | Markus Kirchberg,
Sebastian Link:
On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model.
ADC 2003: 115-124 |
| 8 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
A New Normal Form for Conceptual Database.
EJC 2003: 88-105 |
| 7 | EE | Sven Hartmann,
Sebastian Link:
On Functional Dependencies in Advanced Data Models.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 6 | EE | Sven Hartmann,
Anne Hoffmann,
Sebastian Link,
Klaus-Dieter Schewe:
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett. 87(3): 133-137 (2003) |
| 2002 |
|---|
| 5 | EE | Sebastian Link:
Towards a Tailored Theory of Consistency Enforcement in Databases.
FoIKS 2002: 160-177 |
| 4 | EE | Sebastian Link,
Klaus-Dieter Schewe:
An Arithmetic Theory of Consistency Enforcement.
Acta Cybern. 15(3): 379-416 (2002) |
| 3 | EE | Sebastian Link,
Klaus-Dieter Schewe:
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 2001 |
|---|
| 2 | EE | Sebastian Link:
Consistency Enforcement in Databases.
Semantics in Databases 2001: 139-159 |
| 1 | EE | Sebastian Link,
Klaus-Dieter Schewe:
Computability and Decidability Issues in the Theory of Consistency Enforcement.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
