Search dblp for Publications

export results for "toc:db/conf/deductive/deductive92.bht:"

 download as .bib file

@inproceedings{DBLP:conf/deductive/BayramB92,
  author       = {Zeki O. Bayram and
                  Barrett R. Bryant},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Conditional Term Rewriting as a Deductive Database Language},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {126--135},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/BayramB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BertinoMM92,
  author       = {Elisa Bertino and
                  Maurizio Martelli and
                  Danilo Montesi},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Modeling Database Updates with Constraint Logic Programming},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {175--184},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/BertinoMM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Chaudhuri92,
  author       = {Surajit Chaudhuri},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Finding Nonrecursive Envelopes for Datalog Predicates},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {96--105},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Chaudhuri92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Gaasterland92,
  author       = {Terry Gaasterland},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Coherent Cooperative Answers in Deductive Databases},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {155--162},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Gaasterland92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GuptaKM92,
  author       = {Ashish Gupta and
                  Dinesh Katiyar and
                  Inderpal Singh Mumick},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Counting solutions to the View Maintenance Problem},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {185--194},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Wed, 31 Oct 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/GuptaKM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GuptaU92,
  author       = {Ashish Gupta and
                  Jeffrey D. Ullman},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Generalizing Conjunctive Query Containment for View Maintenance and
                  Integrity Constraint Verification (Abstract)},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {195},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Wed, 31 Oct 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/GuptaU92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Han92,
  author       = {Jia Liang Han},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {An Efficient Bottom-ip Evaluation for Datalog},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {146--154},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Han92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HanL92,
  author       = {Jiawei Han and
                  Tong Lu},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {N-Queens Problem Revisited: {A} Deductive Database Approach},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {48--55},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/HanL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HarrisonD92,
  author       = {John V. Harrison and
                  Suzanne W. Dietrich},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Maintenance of Materialized Views in a Deductive Database: An Update
                  Propagation Approach},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {56--65},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/HarrisonD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Jakobsson92,
  author       = {H{\aa}kan Jakobsson},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {On Join-Order Optimal Compositions and Optimizing Recursive Queries},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {66--75},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Jakobsson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/KhandakerFM92,
  author       = {Zahidul A. Khandaker and
                  Jos{\'{e}} Alberto Fern{\'{a}}ndez and
                  Jack Minker},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {A Tractable Class of Disjunctive Deductive Databases},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {11--20},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/KhandakerFM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LefebvreBT92,
  author       = {Alexandre Lefebvre and
                  Peter Bernus and
                  Rodney W. Topor},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Query Transformation for Accessing Heterogeneous Databases},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {31--40},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/LefebvreBT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LevyMSS92,
  author       = {Alon Y. Levy and
                  Inderpal Singh Mumick and
                  Yehoshua Sagiv and
                  Oded Shmueli},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {1--10},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/LevyMSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LiuH92,
  author       = {Ling Liu and
                  Jiawei Han},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Compressed Counting Method},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {76--85},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/LiuH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Morishita92,
  author       = {Shinichi Morishita},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {An anternating fixpoint tailored to magic programs},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {86--95},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Morishita92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MumickR92,
  author       = {Inderpal Singh Mumick and
                  Kenneth A. Ross},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {An Architecture for Declarative Object-Oriented Databases},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {21--30},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/MumickR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Raschid92,
  author       = {Louiqa Raschid},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Semantics for Rule-based Programs that Express Non-determinism, Causality
                  and Exception Handling Behavior},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {163--174},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Raschid92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SeipelA92,
  author       = {Dietmar Seipel and
                  Hans Argenton},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Wavefront Techniques for Recursive Logic Programs},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {116--125},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/SeipelA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Smith92,
  author       = {Devin E. Smith},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {An Integrated Reactor Physics and Source Term Calculation Based on
                  Deductive Database Principles},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {41--47},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Smith92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SudarshanR92,
  author       = {S. Sudarshan and
                  Raghu Ramakrishnan},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended
                  Abstract)},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {136--145},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Thu, 02 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/SudarshanR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/TorosluQH92,
  author       = {Ismail H. Toroslu and
                  Ghassan Z. Qadah and
                  Lawrence J. Henschen},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Method Inheritance with Object Updates in an Object-Oriented Logic
                  Programming Language},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {106--115},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/TorosluQH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1992,
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}