Sciweavers

2138 search results - page 312 / 428
» Logics for the Relational Syllogistic
Sort
View
SIGMOD
1997
ACM
159views Database» more  SIGMOD 1997»
14 years 1 months ago
On-Line Warehouse View Maintenance
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
Dallan Quass, Jennifer Widom
DBPL
1997
Springer
133views Database» more  DBPL 1997»
14 years 1 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
ICDT
1997
ACM
97views Database» more  ICDT 1997»
14 years 1 months ago
Queries and Computation on the Web
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
Serge Abiteboul, Victor Vianu
MA
1997
Springer
127views Communications» more  MA 1997»
14 years 1 months ago
The Architecture of the Ara Platform for Mobile Agents
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
Holger Peine, Torsten Stolpmann
EURODAC
1994
IEEE
118views VHDL» more  EURODAC 1994»
14 years 1 months ago
A new knowledge-based design manager assistant for CAD frameworks
In this paper we introduce a new knowledgebased method for planning and managing the VLSI design process, based on prediction and advice, that minimizes search in a wide design sp...
Félix Moreno, Juan M. Meneses