6597 search results - page 4 / 1320 » Orderings and Types in Databases |
IADIS
2004
13 years 9 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
DBKDA
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
ESOP
2003
Springer
14 years 25 days ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
RTA
2004
Springer
14 years 29 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
POPL
1991
ACM
13 years 11 months ago
1991
ACM
