DATALOG EXTENSIONS FOR DATABASE QUERIES AND UPDATES

被引：105

作者：

ABITEBOUL, S ^{[1
]}

VIANU, V ^{[1
]}

机构：

[1] UNIV CALIF SAN DIEGO,DEPT CSE,LA JOLLA,CA 92093

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1991年 / 43卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0022-0000(91)90032-Z

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Deterministic and non-deterministic extensions of Datalog with fixpoint semantics are proposed, and their expressive power characterized. It is argued that fixpoint semantics provides an elegant way to overcome the limited expressive power available with purely declarative semantics. The Datalog extensions range from complete languages to languages capturing interesting complexity classes of queries and updates: PTIME and PSPACE in the non-deterministic case, and the fixpoint queries and while queries in the deterministic case. The connection between the Datalog extensions and explicitly procedural languages, as well as fixpoint extensions of first-order logic, is also investigated. In particular, a new family of non-deterministic fixpoint extensions of first-order logic is considered. © 1991.

引用

页码：62 / 124

页数：63

共 50 条

[1] PROCEDURAL LANGUAGES FOR DATABASE QUERIES AND UPDATES
ABITEBOUL, S
VIANU, V
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1990, 41 (02) : 181 - 229
[2] Gramene database in 2010: updates and extensions
Youens-Clark, Ken
Buckler, Ed
Casstevens, Terry
Chen, Charles
DeClerck, Genevieve
Derwent, Paul
Dharmawardhana, Palitha
Jaiswal, Pankaj
Kersey, Paul
Karthikeyan, A. S.
Lu, Jerry
McCouch, Susan R.
Ren, Liya
Spooner, William
Stein, Joshua C.
Thomason, Jim
Wei, Sharon
Ware, Doreen
NUCLEIC ACIDS RESEARCH, 2011, 39 : D1085 - D1094
[3] Functional queries in Datalog
Basta, S
Flesca, S
Greco, S
NEW GENERATION COMPUTING, 2002, 20 (04) : 339 - 371
[4] Functional queries in Datalog
Stefano Basta
Sergio Flesca
Sergio Greco
New Generation Computing, 2002, 20 : 339 - 371
[5] The pancreatic expression database: recent extensions and updates
Ullah, Abu Z. Dayem
Cutts, Rosalind J.
Ghetia, Millika
Gadaleta, Emanuela
Hahn, Stephan A.
Crnogorac-Jurcevic, Tatjana
Lemoine, Nicholas R.
Chelala, Claude
NUCLEIC ACIDS RESEARCH, 2014, 42 (D1) : D944 - D949
[6] The UCSC Genome Browser database: extensions and updates 2013
Meyer, Laurence R.
Zweig, Ann S.
Hinrichs, Angie S.
Karolchik, Donna
Kuhn, Robert M.
Wong, Matthew
Sloan, Cricket A.
Rosenbloom, Kate R.
Roe, Greg
Rhead, Brooke
Raney, Brian J.
Pohl, Andy
Malladi, Venkat S.
Li, Chin H.
Lee, Brian T.
Learned, Katrina
Kirkup, Vanessa
Hsu, Fan
Heitner, Steve
Harte, Rachel A.
Haeussler, Maximilian
Guruvadoo, Luvina
Goldman, Mary
Giardine, Belinda M.
Fujita, Pauline A.
Dreszer, Timothy R.
Diekhans, Mark
Cline, Melissa S.
Clawson, Hiram
Barber, Galt P.
Haussler, David
Kent, W. James
NUCLEIC ACIDS RESEARCH, 2013, 41 (D1) : D64 - D69
[7] The UCSC Genome Browser database: extensions and updates 2011
Dreszer, Timothy R.
Karolchik, Donna
Zweig, Ann S.
Hinrichs, Angie S.
Raney, Brian J.
Kuhn, Robert M.
Meyer, Laurence R.
Wong, Mathew
Sloan, Cricket A.
Rosenbloom, Kate R.
Roe, Greg
Rhead, Brooke
Pohl, Andy
Malladi, Venkat S.
Li, Chin H.
Learned, Katrina
Kirkup, Vanessa
Hsu, Fan
Harte, Rachel A.
Guruvadoo, Luvina
Goldman, Mary
Giardine, Belinda M.
Fujita, Pauline A.
Diekhans, Mark
Cline, Melissa S.
Clawson, Hiram
Barber, Galt P.
Haussler, David
Kent, W. James
NUCLEIC ACIDS RESEARCH, 2012, 40 (D1) : D918 - D923
[8] INCREMENTAL EVALUATION OF DATALOG QUERIES
DONG, GZ
TOPOR, R
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 282 - 296
[9] EQUIVALENCE OF DATALOG QUERIES IS UNDECIDABLE
SHMUELI, O
JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (03): : 231 - 241
[10] Games and total Datalog queries
Flum, J
Kubierschky, M
Ludäscher, B
THEORETICAL COMPUTER SCIENCE, 2000, 239 (02) : 257 - 276

← 1 2 3 4 5 →