Sciweavers

3836 search results - page 157 / 768
» Semantics of Database Transformations
Sort
View
ADBIS
2005
Springer
124views Database» more  ADBIS 2005»
15 years 9 months ago
On Modal Deductive Databases
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
Linh Anh Nguyen
FGCS
2000
96views more  FGCS 2000»
15 years 3 months ago
Logicflow execution model for parallel databases
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
Péter Kacsuk, Norbert Podhorszki
149
Voted
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
16 years 3 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
146
Voted
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 8 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
114
Voted
IFIP
2009
Springer
15 years 10 months ago
Applied Quantitative Information Flow and Statistical Databases
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
Jonathan Heusser, Pasquale Malacaria