Automatic extraction of functional dependencies

DOI10.1007/11527695_10MaRDI QIDQ5714743zbMATH OpenOpenAlexFDO

Authors E. Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais

Publication date 16 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11527695

zbMATH Keywords

Boolean functionpropositional reasoning and searchSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• FUN: An efficient algorithm for mining functional and embedded dependencies
• scientific article; zbMATH DE number 4106266
• FastFDs: A heuristic-driven, depth-first algorithm for mining functional dependencies from relation instances. extended abstract
• Functional and embedded dependency inference: A data mining point of view
• Algorithms for inferring functional dependencies from relations

Cited in

(10)

• Exploiting functional dependencies in declarative problem specifications
• On propositional definability
• Extraction of function-points from source-code
• Enumerating prime implicants of propositional formulae in conjunctive normal form
• Function extraction
• About some UP-based polynomial fragments of SAT
• Functional dependency for verification reduction
• Logics in Artificial Intelligence
• Reasoning with propositional logic: from SAT solvers to knowledge compilation
• An efficient approach to solving random \(k\)-SAT problems

This page was built for publication: Automatic extraction of functional dependencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714743)