Sebastian Link

Jan-Hendrik Lochner

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

Chasing after Secrets in Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

Faceoff: Surrogate vs. Natural Keys.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2010

2009

Efficient reasoning about a robust XML key fragment.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2009

Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

On Inferences ofWeak Multivalued Dependencies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Constraint acquisition for Entity-Relationship models.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2009

Spoilt for Choice: Full First-Order Hierarchical Decompositions.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

On Matrix Representations of Participation Constraints.

[BibT_eX]

[DOI]

Uwe Leck

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Expressive, yet tractable XML keys.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

2008

On the Implication of Multivalued Dependencies in Partial Database Relations.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Characterising nested database dependencies by fragments of propositional logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

Charting the completeness frontier of inference systems for multivalued dependencies.

[BibT_eX]

[DOI]

Acta Informatica, 2008

E-BAG 2008 Workshop PC Chairs' Message.

[BibT_eX]

[DOI]

Hui Ma

Jian Yang

Proceedings of the Web Information Systems Engineering - WISE 2008 Workshops, 2008

On the Notion of an XML Key.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Lossless Decompositions in Complex-Valued Databases.

[BibT_eX]

[DOI]

Henning Köhler

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.

[BibT_eX]

[DOI]

Joachim Biskup

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Boolean Constraints for XML Modeling.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

Constraint Acquisition - You Can Chase but You Cannot Find.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2008, 2008

2007

Full hierarchical dependencies in fixed and undetermined universes.

[BibT_eX]

[DOI]

Henning Köhler

Ann. Math. Artif. Intell., 2007

Numerical Constraints for XML.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2007

Unlocking Keys for XML Trees.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

Know your Limits: Enhanced XML Modeling with Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, 2007

Collection Type Constructors in Entity-Relationship Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

XML Query Optimisation: Specify your Selectivity.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Efficient Reasoning About XFDs with Pre-image Semantics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases: Concepts, 2007

English Sentence Structures and EER Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

On Inferences of Full Hierarchical Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006

Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Deciding implication for functional dependencies in complex-value databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

On a problem of Fagin concerning multivalued dependencies in relational databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Functional and multivalued dependencies in nested databases generated by record and list constructor.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

On Multivalued Dependencies in Fixed and Undetermined Universes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2006

The Nested List Normal Form for Functional and Multivalued Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2006

Refinements in Typed Abstract State Machines.

[BibT_eX]

[DOI]

Jane Zhao

Proceedings of the Perspectives of Systems Informatics, 2006

A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

On the Logical Implication of Multivalued Dependencies with Null Values.

[BibT_eX]

[DOI]

Proceedings of the Theory of Computing 2006, 2006

Horn clauses and functional dependencies in complex-value databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2006, 2006

2005

An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Functional Dependencies over XML Documents with DTDs.

[BibT_eX]

[DOI]

Acta Cybern., 2005

Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004

Error-Robust Functional Dependencies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

The Implication Problem of Functional Dependencies in Complex-value Databases.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.

[BibT_eX]

[DOI]

Proceedings of Computing: The Australasian Theory Symposium, 2004

Distance Functional Dependencies in the Presence of Complex Values.

[BibT_eX]

[DOI]

Acta Cybern., 2004

Computing the Dependency Basis for Nested List Attributes.

[BibT_eX]

Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Multi-valued Dependencies in the Presence of Lists.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Weak Functional Dependencies in Higher-Order Datamodels.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Normalisation in the Presence of Lists.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2004, 2004

2003

Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

On Functional Dependencies in Advanced Data Models.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

A New Normal Form for Conceptual Database.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XV, 2003

On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model.

[BibT_eX]

[DOI]

Markus Kirchberg

Proceedings of the Database Technologies 2003, 2003

More Functional Dependencies for XML.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2003

2002

Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

An Arithmetic Theory of Consistency Enforcement.

[BibT_eX]

[DOI]

Acta Cybern., 2002

Towards a Tailored Theory of Consistency Enforcement in Databases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001

Computability and Decidability Issues in the Theory of Consistency Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Consistency Enforcement in Databases.

[BibT_eX]

[DOI]