Article

Right-, left-, and multi-linear rule transformations that maintain context information

Authors:

David B. Kemp,

Kotagiri Ramamohanarao,

Zoltan SomogyiAuthors Info & Claims

Proceedings of the sixteenth international conference on Very large databases

Pages 380 - 391

Published: 01 September 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Behrend AHaddad HOmicini AWainwright R(2005)Optimizing existential queries in stratifiable deductive databasesProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066821(623-628)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066821
Toman D(1998)Memoing Evaluation for Constraint Extensions of DatalogConstraints10.1023/A:10097996136612:3/4(337-359)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1023/A%3A1009799613661
Ross K(1996)Tail recursion elimination in deductive databasesACM Transactions on Database Systems10.1145/232616.23262821:2(208-237)Online publication date: 1-Jun-1996
https://dl.acm.org/doi/10.1145/232616.232628
Show More Cited By

Index Terms

Right-, left-, and multi-linear rule transformations that maintain context information

Recommendations

Right-, left- and multi-linear rule transformations that maintain context information
VLDB '90: Proceedings of the 16th International Conference on Very Large Data Bases
Context transformations for pointer analysis
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability allows local reasoning about data-value ...
Context transformations for pointer analysis
PLDI '17

Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability allows local reasoning about data-value ...

Comments

Information & Contributors

Information

Published In

Proceedings of the sixteenth international conference on Very large databases

September 1990

730 pages

ISBN:055860149X

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 01 September 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Behrend AHaddad HOmicini AWainwright R(2005)Optimizing existential queries in stratifiable deductive databasesProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066821(623-628)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066821
Toman D(1998)Memoing Evaluation for Constraint Extensions of DatalogConstraints10.1023/A:10097996136612:3/4(337-359)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1023/A%3A1009799613661
Ross K(1996)Tail recursion elimination in deductive databasesACM Transactions on Database Systems10.1145/232616.23262821:2(208-237)Online publication date: 1-Jun-1996
https://dl.acm.org/doi/10.1145/232616.232628
Srivastava DSudarshan SRamakrishnan RNaughton J(1995)Space optimization in deductive databasesACM Transactions on Database Systems10.1145/219035.21905620:4(472-516)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/219035.219056
Ramakrishnan RSrivastava DSudarshan SSeshadri P(1993)Implementation of the CORAL deductive database systemACM SIGMOD Record10.1145/170036.17006722:2(167-176)Online publication date: 1-Jun-1993
https://dl.acm.org/doi/10.1145/170036.170067
Derr MMorishita SPhipps G(1993)Design and implementation of the glue-nail database systemACM SIGMOD Record10.1145/170036.17006522:2(147-156)Online publication date: 1-Jun-1993
https://dl.acm.org/doi/10.1145/170036.170065
Ramakrishnan RSrivastava DSudarshan SSeshadri P(1993)Implementation of the CORAL deductive database systemProceedings of the 1993 ACM SIGMOD international conference on Management of data10.1145/170035.170067(167-176)Online publication date: 1-Jun-1993
https://dl.acm.org/doi/10.1145/170035.170067
Derr MMorishita SPhipps G(1993)Design and implementation of the glue-nail database systemProceedings of the 1993 ACM SIGMOD international conference on Management of data10.1145/170035.170065(147-156)Online publication date: 1-Jun-1993
https://dl.acm.org/doi/10.1145/170035.170065
Jakobsson HVardi MKanellakis P(1992)On tree-based techniques for query evaluationProceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/137097.137914(380-392)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/137097.137914
Mumick IPirahesh HRosenkrantz D(1991)Overbound and right-linear queriesProceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/113413.113425(127-141)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/113413.113425
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Right-, left- and multi-linear rule transformations that maintain context information

Context transformations for pointer analysis

Context transformations for pointer analysis

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations