Sciweavers

110 search results - page 5 / 22
» A Functional Programming Approach to Deductive Databases
Sort
View
JELIA
1990
Springer
14 years 1 months ago
Semantic Interpretation as Higher-Order Deduction
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
Fernando C. N. Pereira
LISP
2008
97views more  LISP 2008»
13 years 9 months ago
Efficient and flexible access control via Jones-optimal logic program specialisation
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
Steve Barker, Michael Leuschel, Mauricio Varea
ER
1994
Springer
121views Database» more  ER 1994»
14 years 1 months ago
An Executable Meta Model for Re-Engineering of Database Schemas
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
Manfred A. Jeusfeld, Uwe A. Johnen
BIRTHDAY
2003
Springer
14 years 19 days ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
VLDB
1991
ACM
101views Database» more  VLDB 1991»
14 years 15 days ago
Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...
William Kent