3583 search results - page 87 / 717 » A Type System for the Relational Calculus of Object Systems |
POPL
2003
ACM
14 years 9 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
NAACL
2007
13 years 10 months ago
2007
The task of identifying synonymous relations and objects, or Synonym Resolution (SR), is critical for high-quality information extraction. The bulk of previous SR work assumed str...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
VLDB
2004
ACM
2004
ACM
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
14 years 2 months ago
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...