| 2008 |
|---|
| 60 | | Sven Hartmann,
Gabriele Kern-Isberner:
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Springer 2008 |
| 59 | EE | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Constraint Acquisition - You Can Chase but You Cannot Find.
APCCM 2008: 59-68 |
| 2007 |
|---|
| 58 | | John C. Grundy,
Sven Hartmann,
Alberto H. F. Laender,
Leszek A. Maciaszek,
John F. Roddick:
Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland, New Zealand, November 5-9, 2007. Proceedings
Australian Computer Society 2007 |
| 57 | | Jean-Luc Hainaut,
Elke A. Rundensteiner,
Markus Kirchberg,
Michela Bertolotto,
Mathias Brochhausen,
Yi-Ping Phoebe Chen,
Samira Si-Said Cherfi,
Martin Doerr,
Hyoil Han,
Sven Hartmann,
Jeffrey Parsons,
Geert Poels,
Colette Rolland,
Juan Trujillo,
Eric S. K. Yu,
Esteban Zimányi:
Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
Springer 2007 |
| 56 | EE | Sven Hartmann,
Sebastian Link:
On Inferences of Full Hierarchical Dependencies.
ACSC 2007: 69-78 |
| 55 | EE | Sven Hartmann,
Sebastian Link:
English Sentence Structures and EER Modeling.
APCCM 2007: 27-35 |
| 54 | EE | Sven Hartmann,
Hui Ma,
Klaus-Dieter Schewe:
Cost-Based Vertical Fragmentation for XML.
APWeb/WAIM Workshops 2007: 12-24 |
| 53 | EE | Sven Hartmann,
Sebastian Link,
Thu Trinh:
Efficient Reasoning About XFDs with Pre-image Semantics.
DASFAA 2007: 1070-1074 |
| 52 | EE | Sven Hartmann,
Sebastian Link:
XML Query Optimisation: Specify your Selectivity.
DEXA Workshops 2007: 30-34 |
| 51 | EE | Sven Hartmann,
Sebastian Link:
Collection Type Constructors in Entity-Relationship Modeling.
ER 2007: 307-322 |
| 50 | EE | Yi-Ping Phoebe Chen,
Sven Hartmann:
Preface to CMLSA 2007.
ER Workshops 2007: 1-2 |
| 49 | EE | Sven Hartmann,
Sebastian Link:
Unlocking Keys for XML Trees.
ICDT 2007: 104-118 |
| 48 | EE | Sven Hartmann,
Sebastian Link:
Numerical Constraints for XML.
WoLLIC 2007: 203-217 |
| 47 | 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 |
|---|
| 46 | | Markus Stumptner,
Sven Hartmann,
Yasushi Kiyoki:
Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006
Australian Computer Society 2006 |
| 45 | EE | Sven Hartmann,
Sebastian Link:
Horn clauses and functional dependencies in complex-value databases.
ADC 2006: 21-30 |
| 44 | EE | Robert Minchin,
Fabio Porto,
Christelle Vangenot,
Sven Hartmann:
Symptoms Ontology for Mapping Diagnostic Knowledge Systems.
CBMS 2006: 593-598 |
| 43 | EE | Sven Hartmann,
Sebastian Link:
The Nested List Normal Form for Functional and Multivalued Dependencies.
FoIKS 2006: 137-158 |
| 42 | EE | Sven Hartmann,
Thu Trinh:
Axiomatising Functional Dependencies for XML with Frequencies.
FoIKS 2006: 159-178 |
| 41 | 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) |
| 40 | 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) |
| 39 | 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) |
| 38 | 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) |
| 37 | 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) |
| 36 | EE | Sven Hartmann,
Sebastian Link:
Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci. 364(2): 212-240 (2006) |
| 2005 |
|---|
| 35 | | Sven Hartmann,
Markus Stumptner:
Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005
Australian Computer Society 2005 |
| 34 | EE | Sven Hartmann,
Sebastian Link:
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
DEXA Workshops 2005: 818-822 |
| 33 | EE | Alexei Tretiakov,
Nian-Shing Chen,
Kinshuk,
Sven Hartmann:
Formal Logic as a Learning Facilitation Tool
ICALT 2005: 459-463 |
| 32 | EE | Alexei Tretiakov,
Sven Hartmann:
Higher-Order Entity Relationship Modelling with UML.
QSIC 2005: 205-214 |
| 31 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Functional Dependencies over XML Documents with DTDs.
Acta Cybern. 17(1): (2005) |
| 30 | EE | Sven Hartmann,
Charles H. C. Little:
Even Bonds of Prescribed Directed Parity.
Electr. J. Comb. 12: (2005) |
| 29 | 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 |
|---|
| 28 | | Sven Hartmann,
John F. Roddick:
Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004
Australian Computer Society 2004 |
| 27 | EE | Sebastian Link,
Sven Hartmann:
Normalisation in the Presence of Lists.
ADC 2004: 49-60 |
| 26 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Weak Functional Dependencies in Higher-Order Datamodels.
FoIKS 2004: 116-133 |
| 25 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
FoIKS 2004: 134-154 |
| 24 | EE | Sven Hartmann,
Sebastian Link:
Multi-valued Dependencies in the Presence of Lists.
PODS 2004: 330-341 |
| 23 | | Sven Hartmann,
Sebastian Link:
Computing the Dependency Basis for Nested List Attributes.
SBBD 2004: 335-349 |
| 22 | EE | Alexei Tretiakov,
Sven Hartmann:
Mobile Content Adaptation as an Optimisation Problem.
WISE Workshops 2004: 201-210 |
| 21 | EE | Sven Hartmann,
Ulrike Schumacher:
Orthogonal double covers of general graphs.
Discrete Applied Mathematics 138(1-2): 107-116 (2004) |
| 20 | 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) |
| 19 | EE | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe,
Bernhard Thalheim:
Error-Robust Functional Dependencies.
Fundam. Inform. 59(4): 365-372 (2004) |
| 2003 |
|---|
| 18 | EE | Sven Hartmann,
Sebastian Link:
More Functional Dependencies for XML.
ADBIS 2003: 355-369 |
| 17 | EE | Sven Hartmann:
Reasoning about participation constraints and Chen's constraints.
ADC 2003: 105-113 |
| 16 | | Sven Hartmann,
Sebastian Link,
Klaus-Dieter Schewe:
A New Normal Form for Conceptual Database.
EJC 2003: 88-105 |
| 15 | EE | Sven Hartmann,
Sebastian Link:
On Functional Dependencies in Advanced Data Models.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 14 | 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 |
|---|
| 13 | EE | Konrad Engel,
Sven Hartmann:
Minimal Sample Databases for Global Cardinality Constraints.
FoIKS 2002: 268-288 |
| 12 | | Hans-Dietrich O. F. Gronau,
Martin Grüttmüller,
Sven Hartmann,
Uwe Leck,
Volker Leck:
On Orthogonal Double Covers of Graphs.
Des. Codes Cryptography 27(1-2): 49-91 (2002) |
| 11 | EE | Sven Hartmann:
Orthogonal Decompositions of Complete Digraphs.
Graphs and Combinatorics 18(2): 285-302 (2002) |
| 2001 |
|---|
| 10 | EE | Sven Hartmann:
Coping with Inconsistent Constraint Specifications.
ER 2001: 241-255 |
| 9 | EE | Sven Hartmann:
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling.
Semantics in Databases 2001: 82-99 |
| 8 | | Sven Hartmann:
On the implication problem for cardinality constraints and functional dependencies.
Ann. Math. Artif. Intell. 33(2-4): 253-307 (2001) |
| 7 | EE | Sven Hartmann:
Decomposing relationship types by pivoting and schema equivalence.
Data Knowl. Eng. 39(1): 75-99 (2001) |
| 2000 |
|---|
| 6 | EE | Sven Hartmann:
Decomposition by Pivoting and Path Cardinality Constraints.
ER 2000: 126-139 |
| 5 | EE | Sven Hartmann:
On Interactions of Cardinality Constraints, Key, and Functional Dependencies.
FoIKS 2000: 136-155 |
| 1999 |
|---|
| 4 | EE | Sven Hartmann:
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs.
Discrete Applied Mathematics 95(1-3): 311-320 (1999) |
| 1998 |
|---|
| 3 | EE | Sven Hartmann:
On the Consistency of Int-cardinality Constraints.
ER 1998: 150-163 |
| 1996 |
|---|
| 2 | EE | Sven Hartmann:
Global Cardinality Constraints.
ER Workshop Challenges of Application and Challenges of Design 1996: 196-206 |
| 1995 |
|---|
| 1 | | Sven Hartmann:
Graph-Theoretical Methods to Construct Entity-Relationship Databases.
WG 1995: 131-145 |
