Abstract Functional Dependency Structures
ثبت نشده
چکیده
functional dependency structures Franti sek Mat u s Institute of Information Theory and Automation Czechoslovak Academy of Sciences Pod vodd arenskou v e z 4, 182 08 Prague Czechoslovakia Abstract The functional dependency (FD) structures known mainly from the database relationships theory are appeared to comprehend other kinds of dependencies among objects like functions, boolean or random variables, etc. We examine the representations of FD-relations in the matroid theory manner. A Galois connection of the FD-relations with closure systems is elaborated.
منابع مشابه
An Ameliorated Methodology for the Abstraction and Minimization of Functional Dependencies of legacy ‘C’ Program Elements
Information systems of many organizations are processed through system of interrelated „C‟ programs. In a „C‟ program each statement contains functional dependencies amongst the attributes. Sometimes these functional dependencies may redundant in different statements. The existing application programs used in the maintenance of the information system are lengthy, and because of the perennial ma...
متن کاملAn Integrated Model of Semantic and Conceptual Interpretation from Dependency Structures
We propose a two-layered model for computing semantic and conceptual interpretations from dependency structures. Abstract interpretation schemata generate semantic interpretations of `minimal' dependency subgraphs, while production rules whose speci cation is rooted in ontological categories derive a canonical conceptual interpretation from semantic interpretation structures. Con gurational des...
متن کاملFunctional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics
We introduce the notion of functional dependencies of abstract interpretations relatively to a binary operator of composition. Functional dependencies are obtained by a functional composition of abstract domains, and provide a systematic approach to construct new abstract domains. In particular, we study the case of autodependencies, namely monotone operators on a given abstract domain. Under s...
متن کاملAccurate Functional Dependency Analysis for Constraint Handling Rules
Information about functional dependencies is used by modern CHR compilers for both optimisation and for further program analysis (e.g. confluence analysis). Before this work, CHR compilers relied on an ad hoc analysis for functional dependencies based on searching for rules of a particular form and the results from late storage analysis. We present a more formal functional dependency analysis o...
متن کاملFrom Surface Dependencies towards Deeper Semantic Representations
In the past, a divide could be seen between ’deep’ parsers on the one hand, which construct a semantic representation out of their input, but usually have significant coverage problems, and more robust parsers on the other hand, which are usually based on a (statistical) model derived from a treebank and have larger coverage, but leave the problem of semantic interpretation to the user. More re...
متن کامل