6597 search results - page 74 / 1320 » Orderings and Types in Databases |
JSYML
2008
13 years 9 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
IEEEIAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Generative models of pattern individuality attempt to represent the distribution of observed quantitative features, e.g., by learning parameters from a database, and then use such...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Record deduplication is the task of merging database records that refer to the same underlying entity. In relational databases, accurate deduplication for records of one type is o...
TAPSOFT
1991
Springer
14 years 16 days ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
TOPLAS
2010
13 years 7 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...