A formal approach to the definition and the design of conceptual schemata for databased systems
ACM Transactions on Database Systems (TODS)
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Minimum Covers in Relational Database Model
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
Principles of Database Systems
Principles of Database Systems
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
On Finding the Optimal Access Path to Resolve a Relational Data Base Query
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Rewriting Systems as a Tool for Relational Data Base Design
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Graph Algorithms for the Synthesis and Manipulation of Data Base Schemes
WG '80 Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science
Closures of database hypergraphs
Journal of the ACM (JACM)
An improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme
IEEE Transactions on Software Engineering
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Efficient parallel algorithms for functional dependency manipulations
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
On the recognition of coverings of acyclic database hypergraphs
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Parallel Algorithm for Relational Database Normalization
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Equivalence and Mapping of Database Schemes
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
An efficient algorithm for 3NF determination
Information Sciences—Informatics and Computer Science: An International Journal
Schema versioning in data warehouses: enabling cross-version querying via schema augmentation
Data & Knowledge Engineering - Special issue: WIDM 2004
An algorithm for the appraisal of assurance indicators for complex business processes
Proceedings of the 2007 ACM workshop on Quality of protection
Linear connectivity problems in directed hypergraphs
Theoretical Computer Science
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
On software component co-installability
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
The role of class dependencies in designing ontology-based databases
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Complexity of linear connectivity problems in directed hypergraphs
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Efficient derivation of numerical dependencies
Information Systems
On software component co-installability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
| Hi-index | 0.01 |