Sven Hartmann
Sven Hartmann
Professor of Computer Science, Clausthal University of Technology
Dirección de correo verificada de tu-clausthal.de
Título
Citado por
Citado por
Año
Differential equation based constrained reinitialization for level set methods
D Hartmann, M Meinke, W Schröder
Journal of Computational Physics 227 (14), 6821-6845, 2008
142*2008
Efficient reasoning about a robust XML key fragment
S Hartmann, S Link
ACM Transactions on Database Systems (TODS) 34 (2), 1-33, 2009
802009
More functional dependencies for XML
S Hartmann, S Link
East European Conference on Advances in Databases and Information Systems …, 2003
772003
On orthogonal double covers of graphs
HDOF Gronau, M Grüttmüller, S Hartmann, U Leck, V Leck
Designs, Codes and Cryptography 27 (1-2), 49-91, 2002
662002
On orthogonal double covers of graphs
HDOF Gronau, M Grüttmüller, S Hartmann, U Leck, V Leck
Designs, codes and cryptography 27 (1), 49-91, 2002
662002
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations
S Hartmann, S Link
ACM Transactions on Database Systems (TODS) 37 (2), 1-40, 2012
632012
Design by example for SQL table definitions with functional dependencies
S Hartmann, M Kirchberg, S Link
The VLDB Journal 21 (1), 121-144, 2012
612012
Numerical constraints on XML data
S Hartmann, S Link
Information and Computation 208 (5), 521-544, 2010
54*2010
On the implication problem for cardinality constraints and functional dependencies
S Hartmann
Annals of Mathematics and Artificial Intelligence 33 (2-4), 253-307, 2001
542001
English sentence structures and EER modeling
S Hartmann, S Link
ACM International Conference Proceeding Series 247, 27-35, 2007
482007
Coping with inconsistent constraint specifications
S Hartmann
International Conference on Conceptual Modeling, 241-255, 2001
432001
On the consistency of int-cardinality constraints
S Hartmann
International Conference on Conceptual Modeling, 150-163, 1998
431998
Axiomatising functional dependencies for XML with frequencies
S Hartmann, T Trinh
International Symposium on Foundations of Information and Knowledge Systems …, 2006
422006
On Codd families of keys over incomplete relations
S Hartmann, U Leck, S Link
The Computer Journal 54 (7), 1166-1180, 2011
412011
Characterising nested database dependencies by fragments of propositional logic
S Hartmann, S Link
Annals of Pure and Applied Logic 152 (1), 84-106, 2008
412008
Reasoning about participation constraints and Chen's constraints
S Hartmann
Proceedings of the 14th Australasian database conference-Volume 17, 105-113, 2003
332003
When data dependencies over SQL tables meet the Logics of Paradox and S-3
S Hartmann, S Link
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on …, 2010
322010
On a problem of Fagin concerning multivalued dependencies in relational databases
S Hartmann, S Link
Theoretical computer science 353 (1-3), 53-62, 2006
322006
Evaluating domain-specific modelling solutions
P Mohagheghi, Ø Haugen
International Conference on Conceptual Modeling, 212-221, 2010
302010
Multi-valued dependencies in the presence of lists
S Hartmann, S Link
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
302004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20