347 search results - page 16 / 70 » Database Programming in Transaction Logic |
104
click to vote
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
125
click to vote
KDD
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
136
Voted
PVLDB
2011
14 years 8 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 ...
115
Voted
AAAI
2000
15 years 3 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
203
Voted
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...