Matches in SemOpenAlex for { <https://semopenalex.org/work/W2512595308> ?p ?o ?g. }
- W2512595308 abstract "Integrity constraints (ICs) provide a valuable tool for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming, especially on large datasets. Hence, proposals for automatic discovery have been made for some classes of ICs, such as functional dependencies (FDs), and recently, order dependencies (ODs). ODs properly subsume FDs, as they can additionally express business rules involving order; e.g., an employee never has a higher salary while paying lower taxes compared with another employee. We address the limitations of prior work on OD discovery which has factorial complexity in the number of attributes, is incomplete (i.e., it does not discover valid ODs that cannot be inferred from the ones found) and is not concise (i.e., it can result in redundant discovery and overly large discovery sets). We improve significantly on complexity, offer completeness, and define a compact canonical form. This is based on a novel polynomial mapping to a canonical form for ODs, and a sound and complete set of axioms (inference rules) for canonical ODs. This allows us to develop an efficient set-containment, lattice-driven OD discovery algorithm that uses the inference rules to prune the search space. Our algorithm has exponential worst-case time complexity in the number of attributes and linear complexity in the number of tuples. We prove that it produces a complete, minimal set of ODs (i.e., minimal with regards to the canonical representation). Finally, using real and synthetic datasets, we experimentally show orders-of-magnitude performance improvements over the current state-of-the-art algorithm and demonstrate effectiveness of our techniques." @default.
- W2512595308 created "2016-09-16" @default.
- W2512595308 creator A5000797802 @default.
- W2512595308 creator A5035817202 @default.
- W2512595308 creator A5049437648 @default.
- W2512595308 creator A5084361876 @default.
- W2512595308 creator A5088315797 @default.
- W2512595308 date "2016-08-22" @default.
- W2512595308 modified "2023-09-24" @default.
- W2512595308 title "Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization" @default.
- W2512595308 cites W1531366036 @default.
- W2512595308 cites W1553696291 @default.
- W2512595308 cites W1781748254 @default.
- W2512595308 cites W1974545679 @default.
- W2512595308 cites W1976013089 @default.
- W2512595308 cites W1980185632 @default.
- W2512595308 cites W2006637140 @default.
- W2512595308 cites W2030119805 @default.
- W2512595308 cites W2135105491 @default.
- W2512595308 cites W2137775416 @default.
- W2512595308 cites W2147722789 @default.
- W2512595308 cites W2153329411 @default.
- W2512595308 cites W2168773517 @default.
- W2512595308 cites W2170712852 @default.
- W2512595308 cites W2266772167 @default.
- W2512595308 cites W2912031392 @default.
- W2512595308 cites W2950216427 @default.
- W2512595308 cites W294693648 @default.
- W2512595308 hasPublicationYear "2016" @default.
- W2512595308 type Work @default.
- W2512595308 sameAs 2512595308 @default.
- W2512595308 citedByCount "0" @default.
- W2512595308 crossrefType "posted-content" @default.
- W2512595308 hasAuthorship W2512595308A5000797802 @default.
- W2512595308 hasAuthorship W2512595308A5035817202 @default.
- W2512595308 hasAuthorship W2512595308A5049437648 @default.
- W2512595308 hasAuthorship W2512595308A5084361876 @default.
- W2512595308 hasAuthorship W2512595308A5088315797 @default.
- W2512595308 hasConcept C11413529 @default.
- W2512595308 hasConcept C118615104 @default.
- W2512595308 hasConcept C118930307 @default.
- W2512595308 hasConcept C124101348 @default.
- W2512595308 hasConcept C134306372 @default.
- W2512595308 hasConcept C154945302 @default.
- W2512595308 hasConcept C167729594 @default.
- W2512595308 hasConcept C17231256 @default.
- W2512595308 hasConcept C177264268 @default.
- W2512595308 hasConcept C199360897 @default.
- W2512595308 hasConcept C2524010 @default.
- W2512595308 hasConcept C26320393 @default.
- W2512595308 hasConcept C2776214188 @default.
- W2512595308 hasConcept C33923547 @default.
- W2512595308 hasConcept C3746660 @default.
- W2512595308 hasConcept C41008148 @default.
- W2512595308 hasConcept C5655090 @default.
- W2512595308 hasConcept C80444323 @default.
- W2512595308 hasConceptScore W2512595308C11413529 @default.
- W2512595308 hasConceptScore W2512595308C118615104 @default.
- W2512595308 hasConceptScore W2512595308C118930307 @default.
- W2512595308 hasConceptScore W2512595308C124101348 @default.
- W2512595308 hasConceptScore W2512595308C134306372 @default.
- W2512595308 hasConceptScore W2512595308C154945302 @default.
- W2512595308 hasConceptScore W2512595308C167729594 @default.
- W2512595308 hasConceptScore W2512595308C17231256 @default.
- W2512595308 hasConceptScore W2512595308C177264268 @default.
- W2512595308 hasConceptScore W2512595308C199360897 @default.
- W2512595308 hasConceptScore W2512595308C2524010 @default.
- W2512595308 hasConceptScore W2512595308C26320393 @default.
- W2512595308 hasConceptScore W2512595308C2776214188 @default.
- W2512595308 hasConceptScore W2512595308C33923547 @default.
- W2512595308 hasConceptScore W2512595308C3746660 @default.
- W2512595308 hasConceptScore W2512595308C41008148 @default.
- W2512595308 hasConceptScore W2512595308C5655090 @default.
- W2512595308 hasConceptScore W2512595308C80444323 @default.
- W2512595308 hasLocation W25125953081 @default.
- W2512595308 hasOpenAccess W2512595308 @default.
- W2512595308 hasPrimaryLocation W25125953081 @default.
- W2512595308 hasRelatedWork W1566831970 @default.
- W2512595308 hasRelatedWork W1905107333 @default.
- W2512595308 hasRelatedWork W2017638445 @default.
- W2512595308 hasRelatedWork W206729627 @default.
- W2512595308 hasRelatedWork W2074058199 @default.
- W2512595308 hasRelatedWork W2079800412 @default.
- W2512595308 hasRelatedWork W2154784492 @default.
- W2512595308 hasRelatedWork W2176981155 @default.
- W2512595308 hasRelatedWork W23884442 @default.
- W2512595308 hasRelatedWork W2397185625 @default.
- W2512595308 hasRelatedWork W2472528701 @default.
- W2512595308 hasRelatedWork W2478464795 @default.
- W2512595308 hasRelatedWork W2537680118 @default.
- W2512595308 hasRelatedWork W2547936859 @default.
- W2512595308 hasRelatedWork W2755759676 @default.
- W2512595308 hasRelatedWork W2801531293 @default.
- W2512595308 hasRelatedWork W2950418952 @default.
- W2512595308 hasRelatedWork W2963803628 @default.
- W2512595308 hasRelatedWork W3028702074 @default.
- W2512595308 hasRelatedWork W3214458206 @default.
- W2512595308 isParatext "false" @default.
- W2512595308 isRetracted "false" @default.
- W2512595308 magId "2512595308" @default.