Sven Hartmann

	2012
96		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: 85-100
95		Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim: Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. FoIKS 2012: 164-183
94		Sven Hartmann, Markus Kirchberg, Sebastian Link: Design by example for SQL table definitions with functional dependencies. VLDB J. 21(1): 121-144 (2012)
	2011
93		Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link: Codd Table Representations under Weak Possible World Semantics. DEXA (1) 2011: 125-139
92		Flavio Ferrarotti, Sven Hartmann, Sebastian Link: A Precious Class of Cardinality Constraints for Flexible XML Data Processing. ER 2011: 175-188
91		Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent: The Boyce-Codd-Heath Normal Form for SQL. WoLLIC 2011: 110-122
90		Sven Hartmann, Gabriele Kern-Isberner: Preface. Ann. Math. Artif. Intell. 63(3-4): 209-211 (2011)
89		Sven Hartmann, Uwe Leck, Sebastian Link: On Codd Families of Keys over Incomplete Relations. Comput. J. 54(7): 1166-1180 (2011)
	2010
88		Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar: 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 Springer 2010
87		Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Chasing after Secrets in Relational Databases. AMW 2010
86		Sven Hartmann, Henning Köhler, Jing Wang: Ontology consolidation in bioinformatics. APCCM 2010: 15-22
85		Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Efficient Inference Control for Open Relational Queries. DBSec 2010: 162-176
84		Yi-Ping Phoebe Chen, Sven Hartmann, Jing Wang: Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010). ER Workshops 2010: 53
83		Sven Hartmann, Henning Köhler, Thu Trinh: On the Existence of Armstrong Data Trees for XML Functional Dependencies. FoIKS 2010: 94-113
82		Sven Hartmann, Sebastian Link: When data dependencies over SQL tables meet the logics of paradox and S-3. PODS 2010: 317-326
81		Flavio Ferrarotti, Sven Hartmann, Sebastian Link: On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. WoLLIC 2010: 136-147
80		Sven Hartmann, Sebastian Link, Thu Trinh: Solving the Implication Problem for XML Functional Dependencies with Properties. WoLLIC 2010: 161-175
79		Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang: Promoting the Semantic Capability of XML Keys. XSym 2010: 144-153
78		Sven Hartmann, Sebastian Link: Numerical constraints on XML data. Inf. Comput. 208(5): 521-544 (2010)
	2009
77		Sven Hartmann, Sebastian Link: Expressive, yet tractable XML keys. EDBT 2009: 357-367
76		Sven Hartmann, Uwe Leck, Sebastian Link: On Matrix Representations of Participation Constraints. ER Workshops 2009: 75-84
75		Sven Hartmann, Sebastian Link: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34(2): (2009)
74		Sven Hartmann, Sebastian Link, Thu Trinh: Constraint acquisition for Entity-Relationship models. Data Knowl. Eng. 68(10): 1128-1155 (2009)
73		Martin Grüttmüller, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts: Maximal Flat Antichains of Minimum Weight. Electr. J. Comb. 16(1): (2009)
72		Sven Hartmann, Sebastian Link: On Inferences ofWeak Multivalued Dependencies. Fundam. Inform. 92(1-2): 83-102 (2009)
71		Sven Hartmann, Sebastian Link: Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner. J. UCS 15(1): 112-156 (2009)
	2008
70		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
69		Sven Hartmann, Xiaofang Zhou, Markus Kirchberg: Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings Springer 2008
68		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: 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 Springer 2008
67		Sven Hartmann, Sebastian Link, Thu Trinh: Constraint Acquisition - You Can Chase but You Cannot Find. APCCM 2008: 59-68
66		Sven Hartmann, Sebastian Link, Thu Trinh: Boolean Constraints for XML Modeling. EJC 2008: 85-104
65		Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg: Preface to CMLSA 2008. ER Workshops 2008: 1
64		Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang: On the Notion of an XML Key. SDKB 2008: 103-112
63		Sven Hartmann, Sebastian Link: Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152(1-3): 84-106 (2008)
62		Sven Hartmann, Uwe Leck, Volker Leck: More orthogonal double covers of complete graphs by Hamiltonian paths. Discrete Mathematics 308(12): 2502-2508 (2008)
61		Gennian Ge, Martin Grüttmüller, Sven Hartmann, Rolf S. Rees: Mandatory representation designs I with k=2mod3. Discrete Mathematics 308(23): 5394-5406 (2008)
	2007
60		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
59		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
58		Sven Hartmann, Sebastian Link: On Inferences of Full Hierarchical Dependencies. ACSC 2007: 69-78
57		Sven Hartmann, Sebastian Link: English Sentence Structures and EER Modeling. APCCM 2007: 27-35
56		Sven Hartmann, Hui Ma, Klaus-Dieter Schewe: Cost-Based Vertical Fragmentation for XML. APWeb/WAIM Workshops 2007: 12-24
55		Sven Hartmann, Sebastian Link, Thu Trinh: Efficient Reasoning About XFDs with Pre-image Semantics. DASFAA 2007: 1070-1074
54		Sven Hartmann, Sebastian Link: XML Query Optimisation: Specify your Selectivity. DEXA Workshops 2007: 30-34
53		Sven Hartmann, Sebastian Link: Collection Type Constructors in Entity-Relationship Modeling. ER 2007: 307-322
52		Yi-Ping Phoebe Chen, Sven Hartmann: Preface to CMLSA 2007. ER Workshops 2007: 1-2
51		Sven Hartmann, Sebastian Link: Unlocking Keys for XML Trees. ICDT 2007: 104-118
50		Sven Hartmann, Sebastian Link: Numerical Constraints for XML. WoLLIC 2007: 203-217
49		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
48		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
47		Sven Hartmann, Sebastian Link: Horn clauses and functional dependencies in complex-value databases. ADC 2006: 21-30
46		Robert Minchin, Fabio Porto, Christelle Vangenot, Sven Hartmann: Symptoms Ontology for Mapping Diagnostic Knowledge Systems. CBMS 2006: 593-598
45		Sven Hartmann, Sebastian Link: The Nested List Normal Form for Functional and Multivalued Dependencies. FoIKS 2006: 137-158
44		Sven Hartmann, Thu Trinh: Axiomatising Functional Dependencies for XML with Frequencies. FoIKS 2006: 159-178
43		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)
42		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)
41		Sven Hartmann, Sebastian Link: On a problem of Fagin concerning multivalued dependencies in relational databases. Theor. Comput. Sci. 353(1-3): 53-62 (2006)
40		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)
39		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)
38		Sven Hartmann, Sebastian Link: Deciding implication for functional dependencies in complex-value databases. Theor. Comput. Sci. 364(2): 212-240 (2006)
	2005
37		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
36		Sven Hartmann, Sebastian Link: Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective. DEXA Workshops 2005: 818-822
35		Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann: Formal Logic as a Learning Facilitation Tool ICALT 2005: 459-463
34		Alexei Tretiakov, Sven Hartmann: Higher-Order Entity Relationship Modelling with UML. QSIC 2005: 205-214
33		Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Functional Dependencies over XML Documents with DTDs. Acta Cybern. 17(1): (2005)
32		Sven Hartmann, Charles H. C. Little: Even Bonds of Prescribed Directed Parity. Electr. J. Comb. 12: (2005)
31		Sven Hartmann, Sebastian Link: The Implication Problem of Functional Dependencies in Complex-value Databases. Electr. Notes Theor. Comput. Sci. 123: 125-137 (2005)
30		Sven Hartmann, Uwe Leck: Self-orthogonal decompositions of graphs into matchings. Electronic Notes in Discrete Mathematics 23: 5-11 (2005)
	2004
29		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
28		Sebastian Link, Sven Hartmann: Normalisation in the Presence of Lists. ADC 2004: 49-60
27		Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Weak Functional Dependencies in Higher-Order Datamodels. FoIKS 2004: 116-133
26		Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. FoIKS 2004: 134-154
25		Sven Hartmann, Sebastian Link: Multi-valued Dependencies in the Presence of Lists. PODS 2004: 330-341
24		Sven Hartmann, Sebastian Link: Computing the Dependency Basis for Nested List Attributes. SBBD 2004: 335-349
23		Alexei Tretiakov, Sven Hartmann: Mobile Content Adaptation as an Optimisation Problem. WISE Workshops 2004: 201-210
22		Sven Hartmann, Ulrike Schumacher: Orthogonal double covers of general graphs. Discrete Applied Mathematics 138(1-2): 107-116 (2004)
21		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)
20		Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim: Error-Robust Functional Dependencies. Fundam. Inform. 59(4): 365-372 (2004)
	2003
19		Sven Hartmann, Sebastian Link: More Functional Dependencies for XML. ADBIS 2003: 355-369
18		Sven Hartmann: Reasoning about participation constraints and Chen's constraints. ADC 2003: 105-113
17		Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: A New Normal Form for Conceptual Database. EJC 2003: 88-105
16		Sven Hartmann, Sebastian Link: On Functional Dependencies in Advanced Data Models. Electr. Notes Theor. Comput. Sci. 84: 117-128 (2003)
15		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
14		Konrad Engel, Sven Hartmann: Minimal Sample Databases for Global Cardinality Constraints. FoIKS 2002: 268-288
13		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)
12		Sven Hartmann: Orthogonal Decompositions of Complete Digraphs. Graphs and Combinatorics 18(2): 285-302 (2002)
	2001
11		Sven Hartmann: Coping with Inconsistent Constraint Specifications. ER 2001: 241-255
10		Sven Hartmann: Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling. Semantics in Databases 2001: 82-99
9		Sven Hartmann: On the implication problem for cardinality constraints and functional dependencies. Ann. Math. Artif. Intell. 33(2-4): 253-307 (2001)
8		Sven Hartmann: Decomposing relationship types by pivoting and schema equivalence. Data Knowl. Eng. 39(1): 75-99 (2001)
7		Sven Hartmann: Orthogonal directed covers by flowers. Electronic Notes in Discrete Mathematics 10: 143-145 (2001)
	2000
6		Sven Hartmann: Decomposition by Pivoting and Path Cardinality Constraints. ER 2000: 126-139
5		Sven Hartmann: On Interactions of Cardinality Constraints, Key, and Functional Dependencies. FoIKS 2000: 136-155
	1999
4		Sven Hartmann: Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs. Discrete Applied Mathematics 95(1-3): 311-320 (1999)
	1998
3		Sven Hartmann: On the Consistency of Int-cardinality Constraints. ER 1998: 150-163
	1996
2		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

Coauthor Index

1	Michela Bertolotto	[59]
2	Joachim Biskup	[85] [87]
3	Mathias Brochhausen	[59]
4	Maria Chiara Caschera	[68]
5	Nian-Shing Chen	[35]
6	Yi-Ping Phoebe Chen	[52] [59] [65] [68] [84]
7	Samira Si-Said Cherfi (Samira Si-Said)	[59]
8	Christophe Claramunt	[68]
9	Gillian Dobbie	[88]
10	Martin Doerr	[59]
11	Konrad Engel	[14]
12	Flavio Ferrarotti (Flavio Antonio Ferrarotti)	[79] [81] [91] [92] [93] [96]
13	Fernando Ferri	[68]
14	Flavius Frasincar	[68] [88]
15	Gennian Ge	[61]
16	Fabio Grandi	[68]
17	Patrizia Grifoni	[68]
18	Hans-Dietrich O. F. Gronau	[13]
19	John C. Grundy (John Grundy)	[60]
20	Martin Grüttmüller	[13] [61] [73]
21	Jean-Luc Hainaut	[59]
22	Hyoil Han	[59]
23	Anne Hoffmann	[15]
24	Geert-Jan Houben	[68]
25	Thomas Kalinowski	[73]
26	Hannu Kangassalo	[88]
27	Gabriele Kern-Isberner	[70] [90]
28	Kinshuk	[35]
29	Markus Kirchberg	[59] [65] [69] [88] [94]
30	Yasushi Kiyoki	[48]
31	Henning Köhler	[49] [64] [83] [86] [91] [95] [96]
32	Alberto H. F. Laender	[60]
33	Van Bao Tran Le	[93]
34	Uwe Leck	[13] [30] [62] [73] [76] [89]
35	Volker Leck	[13] [62]
36	Sebastian Link	[15] [16] [17] [19] [20] [21] [24] [25] [26] [27] [28] [31] [33] [36] [38] [39] [40] [41] [42] [43] [45] [47] [49] [50] [51] [53] [54] [55] [57] [58] [63] [64] [66] [67] [71] [72] [74] [75] [76] [77] [78] [79] [80] [81] [82] [85] [87] [89] [91] [92] [93] [94] [95] [96]
37	Charles H. C. Little (C. H. C. Little)	[32]
38	Jan-Hendrik Lochner	[85] [87]
39	Hui Ma	[56]
40	Leszek A. Maciaszek	[60]
41	Robert Minchin	[46]
42	Andreas L. Opdahl	[68]
43	Jeffrey Parsons	[59]
44	Mario Piattini (Mario Piattini Velthius)	[68]
45	Geert Poels	[59]
46	Fabio Porto	[46]
47	Rolf S. Rees	[61]
48	Iris Reinhartz-Berger	[88]
49	Ian T. Roberts	[73]
50	John F. Roddick	[29] [60]
51	Colette Rolland	[59] [68]
52	Matti Rossi	[88]
53	Elke A. Rundensteiner	[59]
54	Camille Salinesi	[68]
55	Klaus-Dieter Schewe	[15] [17] [20] [26] [27] [33] [39] [40] [43] [56]
56	Ulrike Schumacher	[22]
57	Il-Yeol Song	[68]
58	Markus Stumptner	[37] [48]
59	Bernhard Thalheim	[20] [95]
60	Philippe Thiran (Ph. Thiran)	[68]
61	Alexei Tretiakov	[23] [34] [35]
62	Thu Trinh	[44] [55] [64] [66] [67] [74] [80] [83]
63	Juan Trujillo (Juan Carlos Trujillo Mondéjar)	[59] [68] [88]
64	Christelle Vangenot	[46]
65	Millist W. Vincent	[91] [96]
66	Jing Wang	[64] [79] [84] [86]
67	Carson C. Woo (Carson Woo)	[68]
68	Eric S. K. Yu	[59]
69	Xiaofang Zhou	[69]
70	Esteban Zimányi	[59] [68] [88]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page