Design by exmple: An application of Armstrong relations
Journal of Computer and System Sciences
Test data for relational queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Information Processing Letters
On the representation of dependencies by propositional logic
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
On Workload Characterization of Relational Database Environments
IEEE Transactions on Software Engineering
The practical need for fourth normal form
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
Proceedings of the 30th IEEE symposium on Foundations of computer science
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
Axiomatisation of functional dependencies in incomplete relations
Theoretical Computer Science
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Representational congruence and information retrieval: towards an extended model of cognitive fit
Decision Support Systems
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Minimum Covers in Relational Database Model
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
Formal justification in object-oriented modelling: a linguistic approach
Data & Knowledge Engineering
A relational model of data for large shared data banks
Communications of the ACM
Information Engineering: Introduction
Information Engineering: Introduction
Software Engineering Economics
Software Engineering Economics
A Guided Tour of Relational Databases and Beyond
A Guided Tour of Relational Databases and Beyond
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Decomposing relationship types by pivoting and schema equivalence
Data & Knowledge Engineering - ER2000
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Decomposition of object-oriented database schemas
Annals of Mathematics and Artificial Intelligence
Selected Papers from a Workshop on Semantics in Databases
Improving information requirements determination: a cognitive perspective
Information and Management
Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
Fundamentals of Database Systems, Fourth Edition
Fundamentals of Database Systems, Fourth Edition
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
Proceedings of the 42nd annual Design Automation Conference
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Merging news reports that describe events
Data & Knowledge Engineering
Semantic sampling of existing databases through informative Armstrong databases
Information Systems
Extending the state-of-the-art of constraint-based pattern discovery
Data & Knowledge Engineering
On utilizing variables for specifying FDs in data-centric XML documents
Data & Knowledge Engineering
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
Discrete Applied Mathematics
Deciding XPath containment with MSO
Data & Knowledge Engineering
On the equivalence between FDs in XML and FDs in relations
Acta Informatica
English sentence structures and EER modeling
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Discovering branching and fractional dependencies in databases
Data & Knowledge Engineering
Using error-correcting dependencies for collaborative filtering
Data & Knowledge Engineering
Information Modeling and Relational Databases
Information Modeling and Relational Databases
Mining taxonomies of process models
Data & Knowledge Engineering
Expressive, yet tractable XML keys
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
On managing business processes variants
Data & Knowledge Engineering
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Boolean Constraints for XML Modeling
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Some contributions to the minimum representation problem of key systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
An approach to testing conceptual schemas
Data & Knowledge Engineering
Editorial: Revising the constraints of lightweight mediated schemas
Data & Knowledge Engineering
On the feasibility of using conceptual modeling constructs for the design and analysis of XML data
Data & Knowledge Engineering
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Guidelines for representing complex cardinality constraints in binary and ternary relationships
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
We establish search algorithms from the area of propositional logic as invaluable tools for the semantic knowledge acquisition in the conceptual database design phase. The acquisition of such domain knowledge is crucial for the quality of the target database. Integrity constraints are conditions that capture the semantics of the application domain under consideration. They restrict the databases to those that are considered meaningful to the application at hand. In practice, the decision of specifying a constraint is very important and extremely challenging. We show how techniques from propositional logic can be utilised to offer decision support for specifying Boolean and multivalued dependencies between properties of entities and relationships in conceptual databases. In particular, we use a search version of SAT-solvers to semi-automatically generate sample databases for this class of dependencies in Entity-Relationship models. The sample databases enable design participants to judge, justify, convey and test their understanding of the semantics of the future database. Indeed, the decision by the participants to specify a dependency explicitly is reduced to their decision whether there is some sample database that they can accept as a future database instance.