Relational database systems
Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences
Design by exmple: An application of Armstrong relations
Journal of Computer and System Sciences
Functional dependencies and constraints on Null values in database relations
Information and Control
On semantic issues connected with keys in relational databases permitting null values
Journal of Information Processing and Cybernetics
DBE: an expert tool for database design
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
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)
The design of relational databases
The design of relational databases
Partial dependencies in relational databases and their realization
Discrete Applied Mathematics - Special issue on combinatorial problems in databases
The characterization of branching dependencies
Discrete Applied Mathematics - Special issue on combinatorial problems in databases
The power of sampling in knowledge discovery
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database design with common sense business reasoning and learning
ACM Transactions on Database Systems (TODS)
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
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
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)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
The Clio project: managing heterogeneity
ACM SIGMOD Record
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Information Engineering: Introduction
Information Engineering: Introduction
Software Engineering Economics
Software Engineering Economics
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Samples for Understanding Data-Semantics in Relations
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Consistent database sampling as a database prototyping approach
Journal of Software Maintenance: Research and Practice
Improving the efficiency of database-system teaching
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
Experiments in the automatic marking of ER-diagrams
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Theory of Relational Databases
Theory of Relational Databases
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Data exchange and incomplete information
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
On armstrong relations for strong dependencies
Acta Cybernetica
Semantic sampling of existing databases through informative Armstrong databases
Information Systems
Propagating XML constraints to relations
Journal of Computer and System Sciences
A formal analysis of information disclosure in data exchange
Journal of Computer and System Sciences
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
Computer assisted assessment of SQL query skills
ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
Techniques for Algorithm Animation
IEEE Software
Reducing inference control to access control for normalized database schemas
Information Processing Letters
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
Journal of Automated Reasoning
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
On the Complexity of Verifying Consistency of XML Specifications
SIAM Journal on Computing
Expressive, yet tractable XML keys
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Two-variable logic on data trees and XML reasoning
Journal of the ACM (JACM)
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
A formal framework for database sampling
Information and Software Technology
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
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
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics
Information Processing Letters
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Codd table representations under weak possible world semantics
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
ACM Transactions on Database Systems (TODS)
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Discovery of keys from SQL tables
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Letting keys and functional dependencies out of the bag
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
Armstrong relations satisfy precisely those data dependencies that are implied by a given set of data dependencies. A common perception is that Armstrong relations are useful in the acquisition of data semantics, in particular since errors during the requirements elicitation have the most expensive consequences. We report on some first empirical evidence for this perception regarding the class of functional dependencies (FDs). For this purpose, we investigate the usefulness of Armstrong relations with respect to various measures. Soundness measures how many of the as meaningful perceived FDs are actually meaningful. Completeness measures how many of the actually meaningful FDs are also perceived as meaningful. Our experiment determines what and how much design teams learn about the application domain in addition to what they know prior to using Armstrong relations. The data analysis suggests that in using Armstrong relations it is not more likely to recognize meaningless FDs which are incorrectly perceived as meaningful, but it is more likely to recognize meaningful FDs that are incorrectly perceived as meaningless. Our measures assess the quality of an FD set with respect to a target FD set, and therefore qualify naturally for the use in automated assessment tools, e.g. for database course exams or assignments.