5482 search results - page 468 / 1097 » Logic Programming and Databases |
229
click to vote
IGPL
2011
14 years 10 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
163
click to vote
DEXAW
2005
IEEE
16 years 25 days ago
2005
IEEE
In this paper, we present our approach and architecture for fault diagnosis and self-healing of interpreted objectoriented applications. By combining aspect-oriented programming, ...
184
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
132
click to vote
JOT
2008
15 years 7 months ago
2008
This paper describes how to use web-based data mining to populate a flat-file database called the JAddressBook. The JAddressBook represents a nextgeneration address book program t...
289
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...