Sciweavers

1193 search results - page 6 / 239
» Database Query Languages and Functional Logic Programming
Sort
View
121
Voted
VLDB
1993
ACM
116views Database» more  VLDB 1993»
15 years 10 months ago
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
Alexandra Poulovassilis, Carol Small
211
Voted
AC
1992
Springer
15 years 10 months ago
Logic and Databases
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
Johann Eder
197
Voted
DAGSTUHL
2003
15 years 7 months ago
Logical Languages for Data Mining
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
Fosca Giannotti, Giuseppe Manco, Jef Wijsen
196
Voted
POPL
2010
ACM
16 years 3 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...