Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The structure of the relational database model
The structure of the relational database model
The relational model for database management: version 2
The relational model for database management: version 2
Finding optimal derivation in redundant knowledge bases
Artificial Intelligence
Relational database theory
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Computational methods for rough classification and discovery
Journal of the American Society for Information Science - Special issue: knowledge discovery and data mining
Rough computational methods for information systems
Artificial Intelligence
Portability by automatic translation: a large-scale case study
Artificial Intelligence
Functional dependencies in Horn theories
Artificial Intelligence
Software blueprints: lightweight uses of logic in conceptual modeling
Software blueprints: lightweight uses of logic in conceptual modeling
Time Structures: Formal Description and Algorithmic Representation
Time Structures: Formal Description and Algorithmic Representation
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Intelligent Database Systems
From Data Properties to Evidence
IEEE Transactions on Knowledge and Data Engineering
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Functional dependencies in a relational database and propositional logic
IBM Journal of Research and Development
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
Discrete Applied Mathematics
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
An efficient algorithm for reasoning about fuzzy functional dependencies
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
An efficient reasoning method for dependencies over similarity and ordinal data
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
| Hi-index | 0.00 |
In this paper, we propose the use of formal techniques on Software Engineering in two directions: 1)We present, within the general framework of lattice theory, the analysis of relational databases. To do that, we characterize the concept of f-family (Armstrong relations) by means of a new concept which we call non-deterministic ideal operator. This characterization allows us to formalize database redundancy in a more significant way than it was thought of in the literature. 2) We introduce the Substitution Logic SLFD for functional dependencies that will allows us the design of automatic transformations of data models to remove redundancy.