Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023449612> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2023449612 endingPage "149" @default.
- W2023449612 startingPage "101" @default.
- W2023449612 abstract "Developing a declarative approach to interoperability in the context of multidatabase systems is a major goal of this research. We take a first step toward this goal in this paper, by developing a simple logic called SchemaLog which is syntactically higher-order but has a first-order semantics. SchemaLog can provide for interoperability among multiple relational databases in a federation of database systems. We develop a fixpoint theory for the definite clause fragment of SchemaLog and show its equivalence to the model-theoretic semantics. We also develop a sound and complete proof procedure for all clausal theories. We establish the correspondence between SchemaLog and first-order predicate calculus and provide a reduction of SchemaLog to predicate calculus. We propose an extension to classical relational algebra, capable of retrieving and manipulating data and schema from databases in a multidatabase system, and prove its equivalence to a form of relational calculus inspired by SchemaLog syntax. We illustrate the simplicity and power of SchemaLog with a variety of applications involving database programming (with schema browsing), schema integration, schema evolution, cooperative query answering, and sophisticated forms of aggregation in the spirit of OLAP (On-Line Analytical Processing). We also highlight our implementation of SchemaLog realized on a federation of INGRES databases." @default.
- W2023449612 created "2016-06-24" @default.
- W2023449612 creator A5024992189 @default.
- W2023449612 creator A5046658548 @default.
- W2023449612 creator A5061340195 @default.
- W2023449612 date "1997-11-01" @default.
- W2023449612 modified "2023-09-27" @default.
- W2023449612 title "Logic and algebraic languages for interoperability in multidatabase systems" @default.
- W2023449612 cites W1577536563 @default.
- W2023449612 cites W1977647614 @default.
- W2023449612 cites W1979966822 @default.
- W2023449612 cites W1984704149 @default.
- W2023449612 cites W2005379079 @default.
- W2023449612 cites W2014257213 @default.
- W2023449612 cites W2016758618 @default.
- W2023449612 cites W2036717779 @default.
- W2023449612 cites W2084130127 @default.
- W2023449612 cites W2108911687 @default.
- W2023449612 cites W2167162133 @default.
- W2023449612 cites W2172834723 @default.
- W2023449612 doi "https://doi.org/10.1016/s0743-1066(96)00146-x" @default.
- W2023449612 hasPublicationYear "1997" @default.
- W2023449612 type Work @default.
- W2023449612 sameAs 2023449612 @default.
- W2023449612 citedByCount "36" @default.
- W2023449612 countsByYear W20234496122013 @default.
- W2023449612 countsByYear W20234496122015 @default.
- W2023449612 countsByYear W20234496122016 @default.
- W2023449612 crossrefType "journal-article" @default.
- W2023449612 hasAuthorship W2023449612A5024992189 @default.
- W2023449612 hasAuthorship W2023449612A5046658548 @default.
- W2023449612 hasAuthorship W2023449612A5061340195 @default.
- W2023449612 hasConcept C111919701 @default.
- W2023449612 hasConcept C148230440 @default.
- W2023449612 hasConcept C199360897 @default.
- W2023449612 hasConcept C20136886 @default.
- W2023449612 hasConcept C40207289 @default.
- W2023449612 hasConcept C41008148 @default.
- W2023449612 hasConcept C5655090 @default.
- W2023449612 hasConcept C77088390 @default.
- W2023449612 hasConcept C80444323 @default.
- W2023449612 hasConcept C95916125 @default.
- W2023449612 hasConceptScore W2023449612C111919701 @default.
- W2023449612 hasConceptScore W2023449612C148230440 @default.
- W2023449612 hasConceptScore W2023449612C199360897 @default.
- W2023449612 hasConceptScore W2023449612C20136886 @default.
- W2023449612 hasConceptScore W2023449612C40207289 @default.
- W2023449612 hasConceptScore W2023449612C41008148 @default.
- W2023449612 hasConceptScore W2023449612C5655090 @default.
- W2023449612 hasConceptScore W2023449612C77088390 @default.
- W2023449612 hasConceptScore W2023449612C80444323 @default.
- W2023449612 hasConceptScore W2023449612C95916125 @default.
- W2023449612 hasIssue "2" @default.
- W2023449612 hasLocation W20234496121 @default.
- W2023449612 hasOpenAccess W2023449612 @default.
- W2023449612 hasPrimaryLocation W20234496121 @default.
- W2023449612 hasRelatedWork W1506863050 @default.
- W2023449612 hasRelatedWork W1542080972 @default.
- W2023449612 hasRelatedWork W1600654507 @default.
- W2023449612 hasRelatedWork W1651328431 @default.
- W2023449612 hasRelatedWork W1987419104 @default.
- W2023449612 hasRelatedWork W2008129477 @default.
- W2023449612 hasRelatedWork W2049150522 @default.
- W2023449612 hasRelatedWork W2065680358 @default.
- W2023449612 hasRelatedWork W3083095045 @default.
- W2023449612 hasRelatedWork W312222108 @default.
- W2023449612 hasVolume "33" @default.
- W2023449612 isParatext "false" @default.
- W2023449612 isRetracted "false" @default.
- W2023449612 magId "2023449612" @default.
- W2023449612 workType "article" @default.