Article

Towards an open architecture for LDL

Authors:

D. Chimenti,

R. Gamboa,

R. KrishnamurthyAuthors Info & Claims

VLDB '89: Proceedings of the 15th international conference on Very large data bases

Pages 195 - 203

Published: 01 July 1989 Publication History

Abstract

No abstract available.

References

[1]

{CGK89a} Chimenti, D., R. Gamboa, and R. Krishnamurthy. "Modules and Externals in LDL," MCC Technical Report No. ACA-ST-036-89.

Google Scholar

[2]

{CGK89b} Chimenti, D., R. Gamboa, and R. Krishnamurthy. "Execution Models in LDL," MCC Technical Report in preparation.

Google Scholar

[3]

{CP84} Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems. McGraw-Hill Book Company 1984, ISBN 0-07-010829-3.

Digital Library

Google Scholar

[4]

{KBZ86} Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137.

Digital Library

Google Scholar

[5]

{KN88a} Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424.

Google Scholar

[6]

{KRS88} Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli: A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). SIGMOD Conference 1988: 154-163.

Digital Library

Google Scholar

[7]

{KZ88} Ravi Krishnamurthy, Carlo Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Applications. EDBT 1988: 16-33.

Digital Library

Google Scholar

[8]

{Ll84} John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7.

Digital Library

Google Scholar

[9]

{MW81} David Maier, David Scott Warren: Incorporating Computed Relations in Relational Databases. SIGMOD Conference 1981: 176-187.

Digital Library

Google Scholar

[10]

{NK88} Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262.

Digital Library

Google Scholar

[11]

{NT89} Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6.

Digital Library

Google Scholar

[12]

{RBK88} Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102.

Digital Library

Google Scholar

[13]

{Sell79} Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price: Access Path Selection in a Relational Database Management System. SIGMOD Conference 1979: 23-34.

Digital Library

Google Scholar

[14]

{Ull85} Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985).

Digital Library

Google Scholar

Cited By

View all

Selakovic MBarnett MMusuvathi MMytkowicz TPaulisch FBosch J(2018)Cross-language optimizations in big data systemsProceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice10.1145/3183519.3183528(45-54)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3183519.3183528
Jiwon Seo Guo SLam M(2015)SociaLite: An Efficient Graph Query Language Based on DatalogIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2015.240556227:7(1824-1837)Online publication date: 2-Jun-2015
https://dl.acm.org/doi/10.1109/TKDE.2015.2405562
Li CChang KIlyas ISong SOzcan F(2005)RankSQLProceedings of the 2005 ACM SIGMOD international conference on Management of data10.1145/1066157.1066173(131-142)Online publication date: 14-Jun-2005
https://dl.acm.org/doi/10.1145/1066157.1066173
Show More Cited By

Index Terms

Towards an open architecture for LDL

Recommendations

A Secure Self-Reconfiguring Architecture Based on Open-Source Hardware
RECONFIG '05: Proceedings of the 2005 International Conference on Reconfigurable Computing and FPGAs (ReConFig'05) on Reconfigurable Computing and FPGAs

With the new and powerful Field Programmable Gate Array (FPGA) families, new possibilities have been opened. One of these features is the possibility of reconfiguring a section of the FPGA while the rest is working. Moreover, this fixed part could be ...
Open Proofs and Open Terms: A Basis for Interactive Logic
CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

When proving a theorem, one makes intermediate claims, leaving parts temporarily unspecified. These 'open' parts may be proofs but also terms. In interactive theorem proving systems, one prominently deals with these 'unfinished proofs' and 'open terms'. ...
Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

VLDB '89: Proceedings of the 15th international conference on Very large data bases

July 1989

467 pages

ISBN:1558601015

Chairman:
Reind P. van de Riet
Vrije Univ., Amsterdam, The Netherlands

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 01 July 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Selakovic MBarnett MMusuvathi MMytkowicz TPaulisch FBosch J(2018)Cross-language optimizations in big data systemsProceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice10.1145/3183519.3183528(45-54)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3183519.3183528
Jiwon Seo Guo SLam M(2015)SociaLite: An Efficient Graph Query Language Based on DatalogIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2015.240556227:7(1824-1837)Online publication date: 2-Jun-2015
https://dl.acm.org/doi/10.1109/TKDE.2015.2405562
Li CChang KIlyas ISong SOzcan F(2005)RankSQLProceedings of the 2005 ACM SIGMOD international conference on Management of data10.1145/1066157.1066173(131-142)Online publication date: 14-Jun-2005
https://dl.acm.org/doi/10.1145/1066157.1066173
Giannotti FManco GTurini F(2004)Specifying Mining Algorithms with Iterative User-Defined AggregatesIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2004.6416:10(1232-1246)Online publication date: 1-Oct-2004
https://dl.acm.org/doi/10.1109/TKDE.2004.64
Mahalingam LCandan K(2004)Multi-Criteria Query Optimization in the Presence of Result Size and Quality TradeoffsMultimedia Tools and Applications10.1023/B:MTAP.0000031755.50716.2a23:3(167-183)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1023/B%3AMTAP.0000031755.50716.2a
Goldman RWidom JDunham MNaughton JChen WKoudas N(2000)WSQ/DSQProceedings of the 2000 ACM SIGMOD international conference on Management of data10.1145/342009.335422(285-296)Online publication date: 16-May-2000
https://dl.acm.org/doi/10.1145/342009.335422
Goldman RWidom J(2000)WSQ/DSQACM SIGMOD Record10.1145/335191.33542229:2(285-296)Online publication date: 16-May-2000
https://dl.acm.org/doi/10.1145/335191.335422
Chaudhuri SShim K(1999)Optimization of queries with user-defined predicatesACM Transactions on Database Systems10.1145/320248.32024924:2(177-228)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/320248.320249
Mayr TSeshadri PDavidson SFaloutsos C(1999)Client-site query extensionsProceedings of the 1999 ACM SIGMOD international conference on Management of data10.1145/304182.304213(347-358)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/304182.304213
Mayr TSeshadri P(1999)Client-site query extensionsACM SIGMOD Record10.1145/304181.30421328:2(347-358)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/304181.304213
Show More Cited By

Abstract

References

Cited By

Index Terms

Recommendations

A Secure Self-Reconfiguring Architecture Based on Open-Source Hardware

Open Proofs and Open Terms: A Basis for Interactive Logic

Towards First-Order Nonmonotonic Reasoning

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations