| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sven Hartmann, Markus Kirchberg, Sebastian Link |
Design by example for SQL table definitions with functional dependencies.  |
VLDB J.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim |
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. |
FoIKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent |
Foundations for a Fourth Normal Form over SQL-Like Databases. |
Conceptual Modelling and Its Theoretical Foundations |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Uwe Leck, Sebastian Link |
On Codd Families of Keys over Incomplete Relations. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Gabriele Kern-Isberner |
Preface. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent |
The Boyce-Codd-Heath Normal Form for SQL. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Sebastian Link |
A Precious Class of Cardinality Constraints for Flexible XML Data Processing. |
ER |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link |
Codd Table Representations under Weak Possible World Semantics. |
DEXA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Numerical constraints on XML data. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Sebastian Link |
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Solving the Implication Problem for XML Functional Dependencies with Properties. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner |
Chasing after Secrets in Relational Databases. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar (eds.) |
Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings |
ER Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Ping Phoebe Chen, Sven Hartmann, Jing Wang |
Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010). |
ER Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Henning Köhler, Thu Trinh |
On the Existence of Armstrong Data Trees for XML Functional Dependencies. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang |
Promoting the Semantic Capability of XML Keys. |
XSym |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner |
Efficient Inference Control for Open Relational Queries. |
DBSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
When data dependencies over SQL tables meet the logics of paradox and S-3. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value |
| 1 | Sven Hartmann, Henning Köhler, Jing Wang |
Ontology consolidation in bioinformatics. |
APCCM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Efficient reasoning about a robust XML key fragment. |
ACM Trans. Database Syst. |
2009 |
DBLP DOI BibTeX RDF |
XML key, reachability, axiomatization, implication, XML data |
| 1 | Martin Grüttmüller, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts |
Maximal Flat Antichains of Minimum Weight. |
Electr. J. Comb. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Constraint acquisition for Entity-Relationship models. |
Data Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
On Inferences ofWeak Multivalued Dependencies. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Expressive, yet tractable XML keys. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Uwe Leck, Sebastian Link |
On Matrix Representations of Participation Constraints. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gennian Ge, Martin Grüttmüller, Sven Hartmann, Rolf S. Rees |
Mandatory representation designs I with k=2mod3. |
Discrete Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Uwe Leck, Volker Leck |
More orthogonal double covers of complete graphs by Hamiltonian paths. |
Discrete Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Characterising nested database dependencies by fragments of propositional logic. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang |
On the Notion of an XML Key. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Boolean Constraints for XML Modeling. |
EJC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Xiaofang Zhou, Markus Kirchberg (eds.) |
Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings |
WISE Workshops |
2008 |
DBLP BibTeX RDF |
|
| 1 | Il-Yeol Song, Mario Piattini, Yi-Ping Phoebe Chen, Sven Hartmann, Fabio Grandi, Juan Trujillo, Andreas L. Opdahl, Fernando Ferri, Patrizia Grifoni, Maria Chiara Caschera, Colette Rolland, Carson Woo, Camille Salinesi, Esteban Zimányi, Christophe Claramunt, Flavius Frasincar, Geert-Jan Houben, Philippe Thiran (eds.) |
Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings |
ER Workshops |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg |
Preface to CMLSA 2008. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Gabriele Kern-Isberner (eds.) |
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings |
FoIKS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Constraint Acquisition - You Can Chase but You Cannot Find. |
APCCM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Henning Köhler, Sebastian Link |
Full hierarchical dependencies in fixed and undetermined universes. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68P15 |
| 1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Efficient Reasoning About XFDs with Pre-image Semantics. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Numerical Constraints for XML. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Hui Ma, Klaus-Dieter Schewe |
Cost-Based Vertical Fragmentation for XML. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 (eds.) |
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 |
ER Workshops |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yi-Ping Phoebe Chen, Sven Hartmann |
Preface to CMLSA 2007. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Collection Type Constructors in Entity-Relationship Modeling. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Grundy, Sven Hartmann, Alberto H. F. Laender, Leszek A. Maciaszek, John F. Roddick (eds.) |
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 |
ER (Tutorials, Posters, Panels & Industrial Contributions) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Unlocking Keys for XML Trees. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
On Inferences of Full Hierarchical Dependencies. |
ACSC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
English Sentence Structures and EER Modeling. |
APCCM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
XML Query Optimisation: Specify your Selectivity. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
XML, Constraints, Optimisation, Query, Selectivity |
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
On a problem of Fagin concerning multivalued dependencies in relational databases. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Deciding implication for functional dependencies in complex-value databases. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Functional and multivalued dependencies in nested databases generated by record and list constructor. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
AMS Subject classification 68P15 |
| 1 | Robert Minchin, Fabio Porto, Christelle Vangenot, Sven Hartmann |
Symptoms Ontology for Mapping Diagnostic Knowledge Systems. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Horn clauses and functional dependencies in complex-value databases. |
ADC |
2006 |
DBLP DOI BibTeX RDF |
logic in databases, functional dependency, Horn clause, complex values, implication problem |
| 1 | Sven Hartmann, Thu Trinh |
Axiomatising Functional Dependencies for XML with Frequencies. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
The Nested List Normal Form for Functional and Multivalued Dependencies. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Stumptner, Sven Hartmann, Yasushi Kiyoki (eds.) |
Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006 |
APCCM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Uwe Leck |
Self-orthogonal decompositions of graphs into matchings. |
Electronic Notes in Discrete Mathematics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Functional Dependencies over XML Documents with DTDs. |
Acta Cybern. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Charles H. C. Little |
Even Bonds of Prescribed Directed Parity. |
Electr. J. Comb. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
The Implication Problem of Functional Dependencies in Complex-value Databases. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Tretiakov, Sven Hartmann |
Higher-Order Entity Relationship Modelling with UML. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann |
Formal Logic as a Learning Facilitation Tool |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Markus Stumptner (eds.) |
Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005 |
APCCM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation |
| 1 | Sven Hartmann, Sebastian Link |
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim |
Error-Robust Functional Dependencies. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Ulrike Schumacher |
Orthogonal double covers of general graphs. |
Discrete Applied Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link, Sven Hartmann |
Normalisation in the Presence of Lists. |
ADC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alexei Tretiakov, Sven Hartmann |
Mobile Content Adaptation as an Optimisation Problem. |
WISE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Weak Functional Dependencies in Higher-Order Datamodels. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Computing the Dependency Basis for Nested List Attributes. |
SBBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Multi-valued Dependencies in the Presence of Lists. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, John F. Roddick (eds.) |
Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004 |
APCCM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Anne Hoffmann, Sebastian Link, Klaus-Dieter Schewe |
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
On Functional Dependencies in Advanced Data Models. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
A New Normal Form for Conceptual Database. |
EJC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann |
Reasoning about participation constraints and Chen's constraints. |
ADC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
More Functional Dependencies for XML. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Orthogonal Decompositions of Complete Digraphs. |
Graphs and Combinatorics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dietrich O. F. Gronau, Martin Grüttmüller, Sven Hartmann, Uwe Leck, Volker Leck |
On Orthogonal Double Covers of Graphs. |
Des. Codes Cryptography |
2002 |
DBLP BibTeX RDF |
|
| 1 | Konrad Engel, Sven Hartmann |
Minimal Sample Databases for Global Cardinality Constraints. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Orthogonal directed covers by flowers. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Decomposing relationship types by pivoting and schema equivalence. |
Data Knowl. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
On the implication problem for cardinality constraints and functional dependencies. |
Ann. Math. Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Coping with Inconsistent Constraint Specifications. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Decomposition by Pivoting and Path Cardinality Constraints. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
On Interactions of Cardinality Constraints, Key, and Functional Dependencies. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs. |
Discrete Applied Mathematics |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
On the Consistency of Int-cardinality Constraints. |
ER |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann |
Global Cardinality Constraints. |
ER Workshop Challenges of Application and Challenges of Design |
1996 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann |
Graph-Theoretical Methods to Construct Entity-Relationship Databases. |
WG |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")