 | 2010 |
|---|
| 61 |       | Sebastian Link,
Henri Prade:
Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
Springer 2010 |
| 60 | | Markus Kirchberg,
Sebastian Link:
Hippocratic Databases: Extending Current Transaction Processing Approaches to Satisfy the Limited Retention Principle.
HICSS 2010: 1-10 |
| 2009 |
|---|
| 59 |  | Markus Kirchberg,
Sebastian Link:
Conceptual Modelling 2009, Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand, January 20-23 2009.
Australian Computer Society 2009 |
| 58 | | Sven Hartmann,
Sebastian Link:
Expressive, yet tractable XML keys.
EDBT 2009: 357-367 |
| 57 | | Sven Hartmann,
Uwe Leck,
Sebastian Link:
On Matrix Representations of Participation Constraints.
ER Workshops 2009: 75-84 |
| 56 | | Sebastian Link:
Spoilt for Choice: Full First-Order Hierarchical Decompositions.
WoLLIC 2009: 256-267 |
| 55 | | Sven Hartmann,
Sebastian Link:
Efficient reasoning about a robust XML key fragment.
ACM Trans. Database Syst. 34(2): (2009) |
| 54 | | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Constraint acquisition for Entity-Relationship models.
Data Knowl. Eng. 68(10): 1128-1155 (2009) |
| 53 | | Sven Hartmann,
Sebastian Link:
On Inferences ofWeak Multivalued Dependencies.
Fundam. Inform. 92(1-2): 83-102 (2009) |
| 52 | | Sven Hartmann,
Sebastian Link:
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.
J. UCS 15(1): 112-156 (2009) |
| 2008 |
|---|
| 51 | | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Constraint Acquisition - You Can Chase but You Cannot Find.
APCCM 2008: 59-68 |
| 50 | | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Boolean Constraints for XML Modeling.
EJC 2008: 85-104 |
| 49 | | Henning Köhler,
Sebastian Link:
Lossless Decompositions in Complex-Valued Databases.
FoIKS 2008: 329-347 |
| 48 | | Joachim Biskup,
Sebastian Link:
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.
FoIKS 2008: 58-77 |
| 47 | | Sven Hartmann,
Henning Köhler,
Sebastian Link,
Thu Trinh,
Jing Wang:
On the Notion of an XML Key.
SDKB 2008: 103-112 |
| 46 | | Sebastian Link,
Hui Ma,
Jian Yang:
E-BAG 2008 Workshop PC Chairs' Message.
WISE Workshops 2008: 1-2 |
| 45 | | Sebastian Link:
Charting the completeness frontier of inference systems for multivalued dependencies.
Acta Inf. 45(7-8): 565-591 (2008) |
| 44 | | Sven Hartmann,
Sebastian Link:
Characterising nested database dependencies by fragments of propositional logic.
Ann. Pure Appl. Logic 152(1-3): 84-106 (2008) |
| 43 | | Sebastian Link:
On the Implication of Multivalued Dependencies in Partial Database Relations.
Int. J. Found. Comput. Sci. 19(3): 691-715 (2008) |
| 2007 |
|---|
| 42 | | Sven Hartmann,
Sebastian Link:
On Inferences of Full Hierarchical Dependencies.
ACSC 2007: 69-78 |
| 41 | | Sven Hartmann,
Sebastian Link:
English Sentence Structures and EER Modeling.
APCCM 2007: 27-35 |
| 40 | | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Efficient Reasoning About XFDs with Pre-image Semantics.
DASFAA 2007: 1070-1074 |
| 39 | | Sven Hartmann,
Sebastian Link:
XML Query Optimisation: Specify your Selectivity.
DEXA Workshops 2007: 30-34 |
| 38 | | Sven Hartmann,
Sebastian Link:
Collection Type Constructors in Entity-Relationship Modeling.
ER 2007: 307-322 |
| 37 | | Sebastian Link,
Thu Trinh:
Know your Limits: Enhanced XML Modeling with Cardinality Constraints.
ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 19-30 |
| 36 | | Sven Hartmann,
Sebastian Link:
Unlocking Keys for XML Trees.
ICDT 2007: 104-118 |
| 35 | | Sven Hartmann,
Sebastian Link:
Numerical Constraints for XML.
WoLLIC 2007: 203-217 |
| 34 | | 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 |
|---|
| 33 | | Sven Hartmann,
Sebastian Link:
Horn clauses and functional dependencies in complex-value databases.
ADC 2006: 21-30 |
| 32 | | Sebastian Link:
On the Logical Implication of Multivalued Dependencies with Null Values.
CATS 2006: 113-122 |
| 31 | | Sebastian Link:
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.
DEXA Workshops 2006: 537-541 |
| 30 | | Sebastian Link,
Klaus-Dieter Schewe,
Jane Zhao:
Refinements in Typed Abstract State Machines.
Ershov Memorial Conference 2006: 310-321 |
| 29 | | Sven Hartmann,
Sebastian Link:
The Nested List Normal Form for Functional and Multivalued Dependencies.
FoIKS 2006: 137-158 |
| 28 | | Sebastian Link:
On Multivalued Dependencies in Fixed and Undetermined Universes.
FoIKS 2006: 258-277 |
| 27 | | 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 | | 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 | | 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 | | 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 | | 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 | | Sven Hartmann,
Sebastian Link:
Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci. 364(2): 212-240 (2006) |
| 2005 |
|---|
| 21 | | Sven Hartmann,
Sebastian Link:
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
DEXA Workshops 2005: 818-822 |
| 20 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Functional Dependencies over XML Documents with DTDs.
Acta Cybern. 17(1): (2005) |
| 19 | | 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 | | Sebastian Link,
Sven Hartmann:
Normalisation in the Presence of Lists.
ADC 2004: 49-60 |
| 17 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Weak Functional Dependencies in Higher-Order Datamodels.
FoIKS 2004: 116-133 |
| 16 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
FoIKS 2004: 134-154 |
| 15 | | 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 | | Sebastian Link,
Klaus-Dieter Schewe:
Distance Functional Dependencies in the Presence of Complex Values.
Acta Cybern. 16(3): 459-472 (2004) |
| 12 | | 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 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe,
Bernhard Thalheim:
Error-Robust Functional Dependencies.
Fundam. Inform. 59(4): 365-372 (2004) |
| 2003 |
|---|
| 10 | | Sven Hartmann,
Sebastian Link:
More Functional Dependencies for XML.
ADBIS 2003: 355-369 |
| 9 | | 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 | | Sven Hartmann,
Sebastian Link:
On Functional Dependencies in Advanced Data Models.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 6 | | 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 | | Sebastian Link:
Towards a Tailored Theory of Consistency Enforcement in Databases.
FoIKS 2002: 160-177 |
| 4 | | Sebastian Link,
Klaus-Dieter Schewe:
An Arithmetic Theory of Consistency Enforcement.
Acta Cybern. 15(3): 379-416 (2002) |
| 3 | | 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 | | Sebastian Link:
Consistency Enforcement in Databases.
Semantics in Databases 2001: 139-159 |
| 1 | | Sebastian Link,
Klaus-Dieter Schewe:
Computability and Decidability Issues in the Theory of Consistency Enforcement.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
