Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sebastian Link
2010 – today
- 2013
[j40]Flavio Ferrarotti, Sven Hartmann, Sebastian Link: Reasoning about functional and full hierarchical dependencies over partial relations. Inf. Sci. 235: 150-173 (2013)- [j39]Sebastian Link: Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty. J. Applied Logic 11(3): 309-327 (2013)
- [j38]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz: The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. T. Large-Scale Data- and Knowledge-Centered Systems 10: 60-94 (2013)
- [c60]Sebastian Link: Reasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue. AAAI 2013
- [c59]Sebastian Link: Approximate Reasoning about Generalized Conditional Independence with Complete Random Variables. SUM 2013: 269-282
- [c58]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz: Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule. WISE (1) 2013: 382-395
- [c57]Juha Kontinen, Sebastian Link, Jouko A. Väänänen: Independence in Database Relations. WoLLIC 2013: 179-193
- [e6]Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa (Eds.): Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I. Lecture Notes in Computer Science 8055, Springer 2013, ISBN 978-3-642-40284-5
- [e5]Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa (Eds.): Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II. Lecture Notes in Computer Science 8056, Springer 2013, ISBN 978-3-642-40172-5
- 2012
- [j37]
- [j36]Van Bao Tran Le, Sebastian Link, Mozhgan Memari: Schema- and Data-driven Discovery of SQL Keys. JCSE 6(3): 193-206 (2012)
- [j35]Sebastian Link: Characterisations of multivalued dependency implication over undetermined universes. J. Comput. Syst. Sci. 78(4): 1026-1044 (2012)
- [j34]Diane E. Strode, Sid L. Huff, Beverley G. Hope, Sebastian Link: Coordination in co-located agile software development projects. Journal of Systems and Software 85(6): 1222-1238 (2012)
- [j33]Sven Hartmann, Sebastian Link: The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations. ACM Trans. Database Syst. 37(2): 13 (2012)
- [j32]Sven Hartmann, Markus Kirchberg, Sebastian Link: Design by example for SQL table definitions with functional dependencies. VLDB J. 21(1): 121-144 (2012)
- [c56]Sebastian Link: Armstrong Databases: Validation, Communication and Consolidation of Conceptual Models with Perfect Test Data. APCCM 2012: 3-20
- [c55]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
- [c54]Van Bao Tran Le, Sebastian Link, Mozhgan Memari: Discovery of Keys from SQL Tables. DASFAA (1) 2012: 48-62
- [c53]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner, Torsten Schlotmann: Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. DBSec 2012: 56-73
- [c52]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz: Performance Analysis of Algorithms to Reason about XML Keys. DEXA (1) 2012: 101-115
- [c51]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
- [c50]Markus Kirchberg, Erwin Leonardi, Yu Shyang Tan, Sebastian Link, Ryan K. L. Ko, Bu-Sung Lee: Formal Concept Discovery in Semantic Web Data. ICFCA 2012: 164-179
- [c49]Joachim Biskup, Sven Hartmann, Sebastian Link: Probabilistic Conditional Independence under Schema Certainty and Uncertainty. SUM 2012: 365-378
- [c48]Sebastian Link: Propositional Reasoning about Saturated Conditional Probabilistic Independence. WoLLIC 2012: 257-267
- [e4]Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger (Eds.): Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings. Lecture Notes in Computer Science 7520, Springer 2012, ISBN 978-3-642-33361-3
- 2011
- [j31]Joachim Biskup, Sebastian Link: Appropriate inferences of data dependencies in relational databases. Ann. Math. Artif. Intell. 63(3-4): 213-255 (2011)
- [j30]Sven Hartmann, Uwe Leck, Sebastian Link: On Codd Families of Keys over Incomplete Relations. Comput. J. 54(7): 1166-1180 (2011)
- [j29]Sebastian Link: On Inferences of Full First-Order Hierarchical Decompositions. Fundam. Inform. 106(2-4): 233-258 (2011)
- [c47]Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link: Codd Table Representations under Weak Possible World Semantics. DEXA (1) 2011: 125-139
- [c46]Flavio Ferrarotti, Sven Hartmann, Sebastian Link: A Precious Class of Cardinality Constraints for Flexible XML Data Processing. ER 2011: 175-188
- [c45]Diane E. Strode, Beverley G. Hope, Sid L. Huff, Sebastian Link: Coordination Effectiveness In An Agile Software Development Context. PACIS 2011: 183
- [c44]Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent: The Boyce-Codd-Heath Normal Form for SQL. WoLLIC 2011: 110-122
- 2010
- [j28]Sven Hartmann, Sebastian Link, Thu Trinh: Sample-based Decision Support for Specifying XML Constraints. Journal of Research and Practice in Information Technology 42(1): 15-34 (2010)
- [j27]Sven Hartmann, Sebastian Link: Numerical constraints on XML data. Inf. Comput. 208(5): 521-544 (2010)
- [j26]Henning Köhler, Sebastian Link: Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics. Inf. Process. Lett. 110(16): 717-724 (2010)
- [j25]Warren-Dean Langeveldt, Sebastian Link: Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies. Inf. Syst. 35(3): 352-374 (2010)
- [c43]Slavica Aleksic, Milan Celikovic, Sebastian Link, Ivan Lukovic, Pavle Mogin: Faceoff: Surrogate vs. Natural Keys. ADBIS 2010: 543-546
- [c42]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Chasing after Secrets in Relational Databases. AMW 2010
- [c41]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Efficient Inference Control for Open Relational Queries. DBSec 2010: 162-176
- [c40]Remy Flatt, Markus Kirchberg, Sebastian Link: The Quadrupel - A Model for Automating Intermediary Selection in Supply Chain Management. EJC 2010: 137-153
- [c39]Markus Kirchberg, Sebastian Link: Hippocratic Databases: Extending Current Transaction Processing Approaches to Satisfy the Limited Retention Principle. HICSS 2010: 1-10
- [c38]Sven Hartmann, Sebastian Link: When data dependencies over SQL tables meet the logics of paradox and S-3. PODS 2010: 317-326
- [c37]Flavio Ferrarotti, Sven Hartmann, Sebastian Link: On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. WoLLIC 2010: 136-147
- [c36]Sven Hartmann, Sebastian Link, Thu Trinh: Solving the Implication Problem for XML Functional Dependencies with Properties. WoLLIC 2010: 161-175
- [c35]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang: Promoting the Semantic Capability of XML Keys. XSym 2010: 144-153
- [e3]Sebastian Link, Aditya Ghose (Eds.): Conceptual Modelling 2010, Seventh Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), Brisbane, Australia, January 18-21 2010. CRPIT 110, Australian Computer Society 2010, ISBN 978-1-920682-92-7
- [e2]Sebastian Link, Henri Prade (Eds.): Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. Lecture Notes in Computer Science 5956, Springer 2010, ISBN 978-3-642-11828-9
2000 – 2009
- 2009
- [j24]Sven Hartmann, Sebastian Link, Thu Trinh: Constraint acquisition for Entity-Relationship models. Data Knowl. Eng. 68(10): 1128-1155 (2009)
- [j23]Sven Hartmann, Sebastian Link: On Inferences ofWeak Multivalued Dependencies. Fundam. Inform. 92(1-2): 83-102 (2009)
- [j22]Sven Hartmann, Sebastian Link: Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner. J. UCS 15(1): 112-156 (2009)
- [j21]Sven Hartmann, Sebastian Link: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34(2) (2009)
- [c34]
- [c33]Sven Hartmann, Uwe Leck, Sebastian Link: On Matrix Representations of Participation Constraints. ER Workshops 2009: 75-84
- [c32]Sebastian Link: Spoilt for Choice: Full First-Order Hierarchical Decompositions. WoLLIC 2009: 256-267
- [e1]Markus Kirchberg, Sebastian Link (Eds.): Conceptual Modelling 2009, Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand, January 20-23 2009. CRPIT 96, Australian Computer Society 2009, ISBN 978-1-920682-77-4
- 2008
- [j20]Sebastian Link: Charting the completeness frontier of inference systems for multivalued dependencies. Acta Inf. 45(7-8): 565-591 (2008)
- [j19]Sven Hartmann, Sebastian Link: Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152(1-3): 84-106 (2008)
- [j18]Sebastian Link: On the Implication of Multivalued Dependencies in Partial Database Relations. Int. J. Found. Comput. Sci. 19(3): 691-715 (2008)
- [c31]Sven Hartmann, Sebastian Link, Thu Trinh: Constraint Acquisition - You Can Chase but You Cannot Find. APCCM 2008: 59-68
- [c30]
- [c29]Joachim Biskup, Sebastian Link: Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. FoIKS 2008: 58-77
- [c28]Henning Köhler, Sebastian Link: Lossless Decompositions in Complex-Valued Databases. FoIKS 2008: 329-347
- [c27]Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang: On the Notion of an XML Key. SDKB 2008: 103-112
- [c26]
- 2007
- [j17]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)
- [c25]
- [c24]
- [c23]Sven Hartmann, Sebastian Link, Thu Trinh: Efficient Reasoning About XFDs with Pre-image Semantics. DASFAA 2007: 1070-1074
- [c22]Sven Hartmann, Sebastian Link: XML Query Optimisation: Specify your Selectivity. DEXA Workshops 2007: 30-34
- [c21]Sebastian Link, Thu Trinh: Know your Limits: Enhanced XML Modeling with Cardinality Constraints. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 19-30
- [c20]Sven Hartmann, Sebastian Link: Collection Type Constructors in Entity-Relationship Modeling. ER 2007: 307-322
- [c19]
- [c18]
- 2006
- [j16]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)
- [j15]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)
- [j14]Sven Hartmann, Sebastian Link: On a problem of Fagin concerning multivalued dependencies in relational databases. Theor. Comput. Sci. 353(1-3): 53-62 (2006)
- [j13]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)
- [j12]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)
- [j11]Sven Hartmann, Sebastian Link: Deciding implication for functional dependencies in complex-value databases. Theor. Comput. Sci. 364(2): 212-240 (2006)
- [c17]Sven Hartmann, Sebastian Link: Horn clauses and functional dependencies in complex-value databases. ADC 2006: 21-30
- [c16]Sebastian Link: On the Logical Implication of Multivalued Dependencies with Null Values. CATS 2006: 113-122
- [c15]Sebastian Link: A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations. DEXA Workshops 2006: 537-541
- [c14]Sebastian Link, Klaus-Dieter Schewe, Jane Zhao: Refinements in Typed Abstract State Machines. Ershov Memorial Conference 2006: 310-321
- [c13]Sven Hartmann, Sebastian Link: The Nested List Normal Form for Functional and Multivalued Dependencies. FoIKS 2006: 137-158
- [c12]Sebastian Link: On Multivalued Dependencies in Fixed and Undetermined Universes. FoIKS 2006: 258-277
- 2005
- [j10]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Functional Dependencies over XML Documents with DTDs. Acta Cybern. 17(1): 153-171 (2005)
- [j9]Sven Hartmann, Sebastian Link: The Implication Problem of Functional Dependencies in Complex-value Databases. Electr. Notes Theor. Comput. Sci. 123: 125-137 (2005)
- [c11]Sven Hartmann, Sebastian Link: Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective. DEXA Workshops 2005: 818-822
- 2004
- [j8]Sebastian Link, Klaus-Dieter Schewe: Distance Functional Dependencies in the Presence of Complex Values. Acta Cybern. 16(3): 459-472 (2004)
- [j7]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)
- [j6]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim: Error-Robust Functional Dependencies. Fundam. Inform. 59(4): 365-372 (2004)
- [c10]
- [c9]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Weak Functional Dependencies in Higher-Order Datamodels. FoIKS 2004: 116-133
- [c8]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. FoIKS 2004: 134-154
- [c7]Sven Hartmann, Sebastian Link: Multi-valued Dependencies in the Presence of Lists. PODS 2004: 330-341
- [c6]Sven Hartmann, Sebastian Link: Computing the Dependency Basis for Nested List Attributes. SBBD 2004: 335-349
- 2003
- [j5]Sven Hartmann, Sebastian Link: On Functional Dependencies in Advanced Data Models. Electr. Notes Theor. Comput. Sci. 84: 117-128 (2003)
- [j4]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)
- [c5]
- [c4]Markus Kirchberg, Sebastian Link: On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model. ADC 2003: 115-124
- [c3]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe: A New Normal Form for Conceptual Database. EJC 2003: 88-105
- 2002
- [j3]Sebastian Link, Klaus-Dieter Schewe: An Arithmetic Theory of Consistency Enforcement. Acta Cybern. 15(3): 379-416 (2002)
- [j2]Sebastian Link, Klaus-Dieter Schewe: Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints. Electr. Notes Theor. Comput. Sci. 61: 64-83 (2002)
- [c2]Sebastian Link: Towards a Tailored Theory of Consistency Enforcement in Databases. FoIKS 2002: 160-177
- 2001
- [j1]Sebastian Link, Klaus-Dieter Schewe: Computability and Decidability Issues in the Theory of Consistency Enforcement. Electr. Notes Theor. Comput. Sci. 42: 174-196 (2001)
- [c1]
Coauthor Index
[j40] [j38] [c58] [j33] [j32] [c55] [c53] [c52] [c51] [c49] [j30] [c47] [c46] [c44] [j28] [j27] [c42] [c41] [c38] [c37] [c36] [c35] [j24] [j23] [j22] [j21] [c34] [c33] [j19] [c31] [c30] [c27] [j17] [c25] [c24] [c23] [c22] [c20] [c19] [c18] [j16] [j15] [j14] [j13] [j12] [j11] [c17] [c13] [j10] [j9] [c11] [j7] [j6] [c10] [c9] [c8] [c7] [c6] [j5] [j4] [c5] [c3]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team