Sciweavers

5482 search results - page 73 / 1097
» Logic Programming and Databases
Sort
View
ICFP
1999
ACM
15 years 2 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
ER
2007
Springer
167views Database» more  ER 2007»
15 years 1 months ago
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
DBPL
1989
Springer
65views Database» more  DBPL 1989»
15 years 1 months ago
Napier88 - A Database Programming Language?
Alan Dearle, Richard C. H. Connor, Fred Brown, Ron...
DBPL
1991
Springer
106views Database» more  DBPL 1991»
15 years 1 months ago
Subtyping and Assignment in Database Programming Languages
Richard C. H. Connor, David J. McNally, Ronald Mor...
PODS
2008
ACM
158views Database» more  PODS 2008»
15 years 10 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...