6597 search results - page 104 / 1320 » Orderings and Types in Databases |
ENTCS
2002
13 years 9 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
HASKELL
2008
ACM
13 years 10 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
In this paper, we outline several ways in which the database community can contribute to the development of technology for computer games. We outline the architecture of different...
AML
2000
13 years 9 months ago
2000
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes an optimistic concurrency control (CC) algorithm, called Sequential Order with Dynamic Adjustment (SODA), that guarantees timely and correct execution of concu...