356 search results - page 7 / 72 » A Logic Database System with Extended Functionality |
114
Voted
FLOPS
2008
Springer
15 years 1 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
96
Voted
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
100
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
90
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
120
click to vote
AML
2010
15 years 14 days ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...