Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891716719> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2891716719 abstract "We propose a logical procedure for the horizontal fragmentation problem based on predicate abstraction over the entire domain of database relations. The set of minterm predicates is constructed using rewriting rules similar to the well-known semantic tableau algorithm. The procedure start from an initial set of simple predicates, build the set of minterm predicates until rules are no longer required. To ensure this proposition, we give a formal proof of its correctness namely, it’s soundness, completeness and termination with Isabelle proof assistant. The main contribution of this work are: refining the minterm approach by adding a semantic layer to predicates, minimizing the set of minterm predicates by automatically eliminating contradictory ones, detecting and handling subsumptions between them. This leads to the best construction time of the final partitioning schema. Finally, a source code of the procedure is generated automatically by the Isabelle proof assistant." @default.
- W2891716719 created "2018-09-27" @default.
- W2891716719 creator A5001889649 @default.
- W2891716719 creator A5014456324 @default.
- W2891716719 creator A5073061073 @default.
- W2891716719 date "2018-01-01" @default.
- W2891716719 modified "2023-09-29" @default.
- W2891716719 title "A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant" @default.
- W2891716719 cites W123776386 @default.
- W2891716719 cites W1785277155 @default.
- W2891716719 cites W1982525351 @default.
- W2891716719 cites W4250846042 @default.
- W2891716719 doi "https://doi.org/10.1007/978-3-030-00856-7_23" @default.
- W2891716719 hasPublicationYear "2018" @default.
- W2891716719 type Work @default.
- W2891716719 sameAs 2891716719 @default.
- W2891716719 citedByCount "1" @default.
- W2891716719 countsByYear W28917167192021 @default.
- W2891716719 crossrefType "book-chapter" @default.
- W2891716719 hasAuthorship W2891716719A5001889649 @default.
- W2891716719 hasAuthorship W2891716719A5014456324 @default.
- W2891716719 hasAuthorship W2891716719A5073061073 @default.
- W2891716719 hasConcept C108710211 @default.
- W2891716719 hasConcept C11413529 @default.
- W2891716719 hasConcept C140146324 @default.
- W2891716719 hasConcept C154690210 @default.
- W2891716719 hasConcept C17435882 @default.
- W2891716719 hasConcept C199360897 @default.
- W2891716719 hasConcept C203265346 @default.
- W2891716719 hasConcept C2318724 @default.
- W2891716719 hasConcept C2524010 @default.
- W2891716719 hasConcept C33923547 @default.
- W2891716719 hasConcept C39920170 @default.
- W2891716719 hasConcept C41008148 @default.
- W2891716719 hasConcept C55439883 @default.
- W2891716719 hasConcept C80444323 @default.
- W2891716719 hasConceptScore W2891716719C108710211 @default.
- W2891716719 hasConceptScore W2891716719C11413529 @default.
- W2891716719 hasConceptScore W2891716719C140146324 @default.
- W2891716719 hasConceptScore W2891716719C154690210 @default.
- W2891716719 hasConceptScore W2891716719C17435882 @default.
- W2891716719 hasConceptScore W2891716719C199360897 @default.
- W2891716719 hasConceptScore W2891716719C203265346 @default.
- W2891716719 hasConceptScore W2891716719C2318724 @default.
- W2891716719 hasConceptScore W2891716719C2524010 @default.
- W2891716719 hasConceptScore W2891716719C33923547 @default.
- W2891716719 hasConceptScore W2891716719C39920170 @default.
- W2891716719 hasConceptScore W2891716719C41008148 @default.
- W2891716719 hasConceptScore W2891716719C55439883 @default.
- W2891716719 hasConceptScore W2891716719C80444323 @default.
- W2891716719 hasLocation W28917167191 @default.
- W2891716719 hasOpenAccess W2891716719 @default.
- W2891716719 hasPrimaryLocation W28917167191 @default.
- W2891716719 hasRelatedWork W1486232991 @default.
- W2891716719 hasRelatedWork W1542040340 @default.
- W2891716719 hasRelatedWork W1549715025 @default.
- W2891716719 hasRelatedWork W1592027468 @default.
- W2891716719 hasRelatedWork W159279589 @default.
- W2891716719 hasRelatedWork W1599005250 @default.
- W2891716719 hasRelatedWork W1605391443 @default.
- W2891716719 hasRelatedWork W1832354128 @default.
- W2891716719 hasRelatedWork W1881646025 @default.
- W2891716719 hasRelatedWork W1965238492 @default.
- W2891716719 hasRelatedWork W1969202013 @default.
- W2891716719 hasRelatedWork W2006104711 @default.
- W2891716719 hasRelatedWork W2075909731 @default.
- W2891716719 hasRelatedWork W2133944737 @default.
- W2891716719 hasRelatedWork W2502150621 @default.
- W2891716719 hasRelatedWork W2915292723 @default.
- W2891716719 hasRelatedWork W2954612184 @default.
- W2891716719 hasRelatedWork W2963581951 @default.
- W2891716719 hasRelatedWork W38809241 @default.
- W2891716719 hasRelatedWork W974040949 @default.
- W2891716719 isParatext "false" @default.
- W2891716719 isRetracted "false" @default.
- W2891716719 magId "2891716719" @default.
- W2891716719 workType "book-chapter" @default.