2025
Third and Boyce-Codd normal form for property graphs.
VLDB J., March, 2025
2024
Mixed Covers of Keys and Functional Dependencies for Maintaining the Integrity of Data under Updates.
Proc. VLDB Endow., March, 2024
Entity/Relationship Profiling.
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024
2023
Discovery of Cross Joins.
IEEE Trans. Knowl. Data Eng., July, 2023
Entity integrity management under data volume, variety and veracity.
Knowl. Inf. Syst., July, 2023
Uniqueness Constraints for Object Stores.
ACM J. Data Inf. Qual., June, 2023
Towards the efficient discovery of meaningful functional dependencies.
Inf. Syst., June, 2023
Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design.
Inf. Syst., May, 2023
Normalizing Property Graphs.
Proc. VLDB Endow., 2023
Composite Object Normal Forms: Parameterizing Boyce-Codd Normal Form by the Number of Minimal Keys.
Proc. ACM Manag. Data, 2023
Controlling entity integrity with key sets.
J. Comput. Syst. Sci., 2023
Discovery of Cross Joins (Extended Abstract).
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023
2022
Possibilistic Data Cleaning.
IEEE Trans. Knowl. Data Eng., 2022
Analogical Proportions, Multivalued Dependencies and Explanations.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Learning to Match Product Codes.
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022
Object Normal Form, Fourth Normal Form and Their Application to Database Security.
Proceedings of the Conceptual Modeling - 41st International Conference, 2022
2021
Algorithms for the discovery of embedded functional dependencies.
VLDB J., 2021
Possible Keys and Functional Dependencies.
J. Data Semant., 2021
An Algorithm for the Discovery of Independence from Data.
CoRR, 2021
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.
CoRR, 2021
Logical Schema Design that Quantifies Update Inefficiency and Join Efficiency.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
Modelling Entity Integrity for Semi-structured Big Data.
Proceedings of the Database Systems for Advanced Applications, 2021
Uniqueness Constraints on Property Graphs.
Proceedings of the Advanced Information Systems Engineering, 2021
Referential Integrity Under Uncertain Data.
Proceedings of the Advanced Information Systems Engineering, 2021
2020
Discovery Algorithms for Embedded Functional Dependencies.
Proceedings of the 2020 International Conference on Management of Data, 2020
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
Structural and Computational Properties of Possibilistic Armstrong Databases.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
2019
Discovery and Ranking of Embedded Uniqueness Constraints.
Proc. VLDB Endow., 2019
Embedded Functional Dependencies and Data-completeness Tailored Database Design.
Proc. VLDB Endow., 2019
Relational database schema design for uncertain data.
Inf. Syst., 2019
Entity Integrity, Referential Integrity, and Query Optimization with Embedded Uniqueness Constraints.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
Discovery and Ranking of Functional Dependencies.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
A Fourth Normal Form for Uncertain Data.
Proceedings of the Advanced Information Systems Engineering, 2019
Simple SQL Validation of Generalized Entity Integrity.
Proceedings of the Databases Theory and Applications, 2019
2018
Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries.
VLDB J., 2018
SQL schema design: foundations, normal forms, and normalization.
Inf. Syst., 2018
Cardinality constraints and functional dependencies over possibilistic data.
Data Knowl. Eng., 2018
DataProf: Semantic Profiling for Iterative Data Cleansing and Business Rule Acquisition.
Proceedings of the 2018 International Conference on Management of Data, 2018
An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018
Old Keys that Open New Doors.
Proceedings of the Foundations of Information and Knowledge Systems, 2018
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.
Proceedings of the Database Systems for Advanced Applications, 2018
Embedded Cardinality Constraints.
Proceedings of the Advanced Information Systems Engineering, 2018
Automated Reasoning About Key Sets.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Extremal Combinatorics of SQL Keys.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018
2017
IEEE Trans. Knowl. Data Eng., 2017
Data Quality: The Role of Empiricism.
SIGMOD Rec., 2017
Inclusion dependencies and their interaction with functional dependencies in SQL.
J. Comput. Syst. Sci., 2017
On the Interaction of Inclusion Dependencies with Independence Atoms.
Proceedings of the LPAR-21, 2017
Urd: A Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints with Probabilistic Intervals.
Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017
Proceedings of the Conceptual Modeling - 36th International Conference, 2017
Cardinality Constraints with Probabilistic Intervals.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017
2016
Possible and certain keys for SQL.
VLDB J., 2016
Possibilistic Functional Dependencies and Their Relationship to Possibility Theory.
IEEE Trans. Fuzzy Syst., 2016
On the finite and general implication problems of independence atoms and keys.
J. Comput. Syst. Sci., 2016
Discovering Meaningful Certain Keys from Incomplete and Inconsistent Relations.
IEEE Data Eng. Bull., 2016
Possibilistic Cardinality Constraints and Functional Dependencies.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
Keys with Probabilistic Intervals.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
Qualitative Cleaning of Uncertain Data.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016
Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data.
Proceedings of the Dependence Logic, Theory and Applications, 2016
2015
Technical Correspondence: "Differential Dependencies: Reasoning and Discovery" Revisited.
ACM Trans. Database Syst., 2015
Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions.
Theor. Comput. Sci., 2015
Possible and Certain SQL Key.
Proc. VLDB Endow., 2015
Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints.
Data Knowl. Eng., 2015
Cardinality constraints on qualitatively uncertain data.
Data Knowl. Eng., 2015
Constructing Armstrong tables for general cardinality constraints and not-null constraints.
Ann. Math. Artif. Intell., 2015
Probabilistic Cardinality Constraints.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015
SQL Data Profiling of Foreign Keys.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015
Index Design for Enforcing Partial Referential Integrity Efficiently.
Proceedings of the 18th International Conference on Extending Database Technology, 2015
Inclusion Dependencies Reloaded.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015
Probabilistic Keys for Data Quality Management.
Proceedings of the Advanced Information Systems Engineering, 2015
Validation of Expressive XML Keys with XML Schema and XQuery.
Proceedings of the 11th Asia-Pacific Conference on Conceptual Modelling, 2015
2014
Saturated Conditional Independence with Fixed and Undetermined Sets of Incomplete Random Variables.
Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014
Logical Foundations of Possibilistic Keys.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Logics for Approximating Implication Problems of Saturated Conditional Independence.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Cardinality Constraints for Uncertain Data.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014
On Independence Atoms and Keys.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
Pulling Conjunctive Query Equivalence out of the Bag.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014
2013
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.
Trans. Large Scale Data Knowl. Centered Syst., 2013
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty.
J. Appl. Log., 2013
Reasoning about functional and full hierarchical dependencies over partial relations.
Inf. Sci., 2013
Efficiency frontiers of XML cardinality constraints.
Data Knowl. Eng., 2013
Independence in Database Relations.
Proceedings of the Logic, Language, Information, and Computation, 2013
Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013
Approximate Reasoning about Generalized Conditional Independence with Complete Random Variables.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013
Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013
Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints.
Proceedings of the Information Modelling and Knowledge Bases XXV, 2013
Letting Keys and Functional Dependencies out of the Bag.
Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, 2013
Static Analysis of Partial Referential Integrity for Better Quality SQL Data.
Proceedings of the 19th Americas Conference on Information Systems, 2013
Reasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Design by example for SQL table definitions with functional dependencies.
VLDB J., 2012
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations.
ACM Trans. Database Syst., 2012
Coordination in co-located agile software development projects.
J. Syst. Softw., 2012
Characterisations of multivalued dependency implication over undetermined universes.
J. Comput. Syst. Sci., 2012
Schema- and Data-driven Discovery of SQL Keys.
J. Comput. Sci. Eng., 2012
Ann. Math. Artif. Intell., 2012
Propositional Reasoning about Saturated Conditional Probabilistic Independence.
Proceedings of the Logic, Language, Information and Computation, 2012
Probabilistic Conditional Independence under Schema Certainty and Uncertainty.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012
Formal Concept Discovery in Semantic Web Data.
Proceedings of the Formal Concept Analysis - 10th International Conference, 2012
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags.
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Performance Analysis of Algorithms to Reason about XML Keys.
Proceedings of the Database and Expert Systems Applications, 2012
Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies.
Proceedings of the Data and Applications Security and Privacy XXVI, 2012
Discovery of Keys from SQL Tables.
Proceedings of the Database Systems for Advanced Applications, 2012
Foundations for a Fourth Normal Form over SQL-Like Databases.
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012
Armstrong Databases: Validation, Communication and Consolidation of Conceptual Models with Perfect Test Data.
Proceedings of the Eighth Asia-Pacic Conference on Conceptual Modelling, 2012
2011
On Inferences of Full First-Order Hierarchical Decompositions.
Fundam. Informaticae, 2011
On Codd Families of Keys over Incomplete Relations.
Comput. J., 2011
Appropriate inferences of data dependencies in relational databases.
Ann. Math. Artif. Intell., 2011
The Boyce-Codd-Heath Normal Form for SQL.
Proceedings of the Logic, Language, Information and Computation, 2011
Coordination Effectiveness In An Agile Software Development Context.
Proceedings of the Pacific Asia Conference on Information Systems, 2011
A Precious Class of Cardinality Constraints for Flexible XML Data Processing.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011
Codd Table Representations under Weak Possible World Semantics.
Proceedings of the Database and Expert Systems Applications, 2011
2010
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies.
Inf. Syst., 2010
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics.
Inf. Process. Lett., 2010
Numerical constraints on XML data.
Inf. Comput., 2010
Sample-based Decision Support for Specifying XML Constraints.
J. Res. Pract. Inf. Technol., 2010
Promoting the Semantic Capability of XML Keys.
Proceedings of the Database and XML Technologies, 2010
Solving the Implication Problem for XML Functional Dependencies with Properties.
Proceedings of the Logic, 2010
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.
Proceedings of the Logic, 2010
When data dependencies over SQL tables meet the logics of paradox and S-3.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010
Hippocratic Databases: Extending Current Transaction Processing Approaches to Satisfy the Limited Retention Principle.
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010
The Quadrupel - A Model for Automating Intermediary Selection in Supply Chain Management.
Proceedings of the Information Modelling and Knowledge Bases XXII, 20th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2010), Jyväskylä, Finland, 31 May, 2010
Efficient Inference Control for Open Relational Queries.
Proceedings of the Data and Applications Security and Privacy XXIV, 2010
Chasing after Secrets in Relational Databases.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
Faceoff: Surrogate vs. Natural Keys.
Proceedings of the Advances in Databases and Information Systems, 2010
2009
Efficient reasoning about a robust XML key fragment.
ACM Trans. Database Syst., 2009
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.
J. Univers. Comput. Sci., 2009
On Inferences ofWeak Multivalued Dependencies.
Fundam. Informaticae, 2009
Constraint acquisition for Entity-Relationship models.
Data Knowl. Eng., 2009
Spoilt for Choice: Full First-Order Hierarchical Decompositions.
Proceedings of the Logic, 2009
On Matrix Representations of Participation Constraints.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009
Expressive, yet tractable XML keys.
Proceedings of the EDBT 2009, 2009
2008
On the Implication of Multivalued Dependencies in Partial Database Relations.
Int. J. Found. Comput. Sci., 2008
Characterising nested database dependencies by fragments of propositional logic.
Ann. Pure Appl. Log., 2008
Charting the completeness frontier of inference systems for multivalued dependencies.
Acta Informatica, 2008
E-BAG 2008 Workshop PC Chairs' Message.
Proceedings of the Web Information Systems Engineering - WISE 2008 Workshops, 2008
On the Notion of an XML Key.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008
Lossless Decompositions in Complex-Valued Databases.
Proceedings of the Foundations of Information and Knowledge Systems, 2008
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.
Proceedings of the Foundations of Information and Knowledge Systems, 2008
Boolean Constraints for XML Modeling.
Proceedings of the Information Modelling and Knowledge Bases XX, 2008
Constraint Acquisition - You Can Chase but You Cannot Find.
Proceedings of the Conceptual Modelling 2008, 2008
2007
Full hierarchical dependencies in fixed and undetermined universes.
Ann. Math. Artif. Intell., 2007
Numerical Constraints for XML.
Proceedings of the Logic, 2007
Unlocking Keys for XML Trees.
Proceedings of the Database Theory, 2007
Know your Limits: Enhanced XML Modeling with Cardinality Constraints.
Proceedings of the Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, 2007
Collection Type Constructors in Entity-Relationship Modeling.
Proceedings of the Conceptual Modeling, 2007
XML Query Optimisation: Specify your Selectivity.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007
Efficient Reasoning About XFDs with Pre-image Semantics.
Proceedings of the Advances in Databases: Concepts, 2007
English Sentence Structures and EER Modeling.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007
On Inferences of Full Hierarchical Dependencies.
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007
2006
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".
Theor. Comput. Sci., 2006
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci., 2006
Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci., 2006
On a problem of Fagin concerning multivalued dependencies in relational databases.
Theor. Comput. Sci., 2006
Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell., 2006
On Multivalued Dependencies in Fixed and Undetermined Universes.
Proceedings of the Foundations of Information and Knowledge Systems, 2006
The Nested List Normal Form for Functional and Multivalued Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2006
Refinements in Typed Abstract State Machines.
Proceedings of the Perspectives of Systems Informatics, 2006
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006
On the Logical Implication of Multivalued Dependencies with Null Values.
Proceedings of the Theory of Computing 2006, 2006
Horn clauses and functional dependencies in complex-value databases.
Proceedings of the Database Technologies 2006, 2006
2005
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005
Functional Dependencies over XML Documents with DTDs.
Acta Cybern., 2005
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005
2004
Error-Robust Functional Dependencies.
Fundam. Informaticae, 2004
The Implication Problem of Functional Dependencies in Complex-value Databases.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of Computing: The Australasian Theory Symposium, 2004
Distance Functional Dependencies in the Presence of Complex Values.
Acta Cybern., 2004
Computing the Dependency Basis for Nested List Attributes.
Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004
Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Foundations of Information and Knowledge Systems, 2004
Weak Functional Dependencies in Higher-Order Datamodels.
Proceedings of the Foundations of Information and Knowledge Systems, 2004
Normalisation in the Presence of Lists.
Proceedings of the Database Technologies 2004, 2004
2003
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett., 2003
On Functional Dependencies in Advanced Data Models.
Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003
A New Normal Form for Conceptual Database.
Proceedings of the Information Modelling and Knowledge Bases XV, 2003
On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model.
Proceedings of the Database Technologies 2003, 2003
More Functional Dependencies for XML.
Proceedings of the Advances in Databases and Information Systems, 2003
2002
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints.
Proceedings of the Computing: the Australasian Theory Symposium, 2002
An Arithmetic Theory of Consistency Enforcement.
Acta Cybern., 2002
Towards a Tailored Theory of Consistency Enforcement in Databases.
Proceedings of the Foundations of Information and Knowledge Systems, 2002
2001
Computability and Decidability Issues in the Theory of Consistency Enforcement.
Proceedings of the Computing: The Australasian Theory Symposium, 2001
Consistency Enforcement in Databases.
Proceedings of the Semantics in Databases, 2001