| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Diane E. Strode, Sid L. Huff, Beverley G. Hope, Sebastian Link |
Coordination in co-located agile software development projects.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | Sebastian Link |
Characterisations of multivalued dependency implication over undetermined universes. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Bao Tran Le, Sebastian Link, Mozhgan Memari |
Discovery of Keys from SQL Tables. |
DASFAA |
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 | Sebastian Link |
On Inferences of Full First-Order Hierarchical Decompositions. |
Fundam. Inform. |
2011 |
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 | Joachim Biskup, Sebastian Link |
Appropriate inferences of data dependencies in relational databases. |
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 | Diane E. Strode, Beverley G. Hope, Sid L. Huff, Sebastian Link |
Coordination Effectiveness In An Agile Software Development Context. |
PACIS |
2011 |
DBLP 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 | Henning Köhler, Sebastian Link |
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
Numerical constraints on XML data. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Warren-Dean Langeveldt, Sebastian Link |
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies. |
Inf. Syst. |
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 | Remy Flatt, Markus Kirchberg, Sebastian Link |
The Quadrupel - A Model for Automating Intermediary Selection in Supply Chain Management. |
EJC |
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 | Markus Kirchberg, Sebastian Link |
Hippocratic Databases: Extending Current Transaction Processing Approaches to Satisfy the Limited Retention Principle. |
HICSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link, Henri Prade (eds.) |
Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings |
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 | Sebastian Link, Aditya Ghose (eds.) |
Conceptual Modelling 2010, Seventh Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), Brisbane, Australia, January 18-21 2010. |
APCCM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Slavica Aleksic, Milan Celikovic, Sebastian Link, Ivan Lukovic, Pavle Mogin |
Faceoff: Surrogate vs. Natural Keys. |
ADBIS |
2010 |
DBLP DOI 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 | 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 | Sebastian Link |
Spoilt for Choice: Full First-Order Hierarchical Decompositions. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Database Decomposition, Propositional Logic, Axiomatisation, Database Constraint |
| 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 | Markus Kirchberg, Sebastian Link (eds.) |
Conceptual Modelling 2009, Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand, January 20-23 2009. |
APCCM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Link |
On the Implication of Multivalued Dependencies in Partial Database Relations. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
Charting the completeness frontier of inference systems for multivalued dependencies. |
Acta Inf. |
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 | Sebastian Link, Hui Ma, Jian Yang |
E-BAG 2008 Workshop PC Chairs' Message. |
WISE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Sebastian Link |
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Köhler, Sebastian Link |
Lossless Decompositions in Complex-Valued Databases. |
FoIKS |
2008 |
DBLP DOI 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, Sebastian Link |
Collection Type Constructors in Entity-Relationship Modeling. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link, Thu Trinh |
Know your Limits: Enhanced XML Modeling with Cardinality Constraints. |
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 | Sebastian Link, Klaus-Dieter Schewe, Jane Zhao |
Refinements in Typed Abstract State Machines. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
On the Logical Implication of Multivalued Dependencies with Null Values. |
CATS |
2006 |
DBLP 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 | Sebastian Link |
On Multivalued Dependencies in Fixed and Undetermined Universes. |
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 | Sebastian Link |
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations. |
DEXA Workshops |
2006 |
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, Sebastian Link |
The Implication Problem of Functional Dependencies in Complex-value Databases. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI 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 | Sebastian Link, Klaus-Dieter Schewe |
Distance Functional Dependencies in the Presence of Complex Values. |
Acta Cybern. |
2004 |
DBLP BibTeX RDF |
|
| 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 | Sebastian Link, Sven Hartmann |
Normalisation in the Presence of Lists. |
ADC |
2004 |
DBLP 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, 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 | Markus Kirchberg, Sebastian Link |
On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model. |
ADC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Sebastian Link |
More Functional Dependencies for XML. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link, Klaus-Dieter Schewe |
An Arithmetic Theory of Consistency Enforcement. |
Acta Cybern. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Link, Klaus-Dieter Schewe |
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
Towards a Tailored Theory of Consistency Enforcement in Databases. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link, Klaus-Dieter Schewe |
Computability and Decidability Issues in the Theory of Consistency Enforcement. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
Consistency Enforcement in Databases. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")