2299 search results - page 40 / 460 » Logical Data Expiration |
128
Voted
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
96
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
122
click to vote
PVLDB
2011
14 years 7 months ago
2011
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...
114
click to vote
CORR
2004
Springer
15 years 10 days ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
176
Voted
SLOGICA
2011
14 years 7 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...