{Banc86} François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15.

Google Scholar

[4]

{Banc86a} François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60.

Digital Library

Google Scholar

[5]

{Bocc86} Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378.

Digital Library

Google Scholar

[6]

{Camp84} Campbell, J. A., Implementations of PROLOG, Ellis H. Horwood Publ., 1984.

Digital Library

Google Scholar

[7]

{Clock84} Clockskin, W. F. and C. S. Mellish, Programming in Prolog, Springer Verlag Publ., Heidelberg, 1984.

Digital Library

Google Scholar

[8]

{Dada86} Peter Dadam, Klaus Küspert, F. Andersen, Henk M. Blanken, R. Erbe, Jürgen Günauer, Vincent Y. Lum, Peter Pistor, Georg Walch: A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies. SIGMOD Conference 1986: 356-367.

Digital Library

Google Scholar

[9]

{Gall78} Gallaire, H. and J. Minker, Logic and Databases, Plenum Publ., 1978.

Digital Library

Google Scholar

[10]

{Gall84} Gallaire, H., J. Minker and J. Nicolas, Advances in Database Theory, Vol. 1 & 2, Plenum Publ., 1984.

Digital Library

Google Scholar

[11]

{Gall84a} Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984).

Digital Library

Google Scholar

[12]

{IBM81} "SQL/data system: Concepts and facilities", GH24-5013-0, File No. S370-50, IBM, 1981.

Google Scholar

[13]

{Jark84} Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306.

Digital Library

Google Scholar

[14]

{Kell86} Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42- 51.

Digital Library

Google Scholar

[15]

{Keller86} Keller, T., et al. "ADBS Workloads, Rev. 0.5" MCC Technical Report, DB-006-86, 1986.

Google Scholar

[16]

{Kowa79} Robert A. Kowalski: Algorithm = Logic + Control. Commun. ACM 22(7): 424-436(1979).

Digital Library

Google Scholar

[17]

{Kun82} Kunifuji, S. and H. Yokota, "Prolog and Relational Databases for 5th Generation Computer Systems", Proc. Workshop on Logical Bases for Data Bases, Toulouse, France 1982.

Google Scholar

[18]

{Morr86} Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554- 568.

Digital Library

Google Scholar

[19]

{Lloyd84} John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6.

Digital Library

Google Scholar

[20]

{Naish85} Lee Naish: All Solutions Predicates in Prolog. SLP 1985: 73-77.

Google Scholar

[21]

{Naqvi86} Naqvi, S., Report in preparation.

Google Scholar

[22]

{Park84} Douglas Stott Parker Jr., Michael J. Carey, Forouzan Golshani, Matthias Jarke, Edward Sciore, Adrian Walker: Logic Programming and Databases. Expert Database Workshop 1984: 35-48.

Digital Library

Google Scholar

[23]

{Quin85} "Quintus Prolog Reference Manual", Quintus Computer Systems, 234 Yale Street, Palo Alto, CA., 94306.

Google Scholar

[24]

{Ram85} Raghu Ramakrishnan, Abraham Silberschatz: The MR Diagram - A Model for Conceptual Database Design. VLDB 1985: 376-393.

Google Scholar

[25]

{Smith77} John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977).

Digital Library

Google Scholar

[26]

{Stick81} Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434(1981).

Digital Library

Google Scholar

[27]

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

Digital Library

Google Scholar

[28]

{Zani85} Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469.

Google Scholar

[29]

{Zani84} Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. Expert Database Workshop 1984: 219-232.

Digital Library

Google Scholar

[30]

{Zani86} Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. Expert Database Conf. 1986: 237-252.

Google Scholar

Cited By

View all

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1145/3191315.3191317
Ramakrishnan CRamakrishnan IWarren D(2006)Deductive spreadsheets using tabled logic programmingProceedings of the 22nd international conference on Logic Programming10.1007/11799573_29(391-405)Online publication date: 17-Aug-2006
https://dl.acm.org/doi/10.1007/11799573_29
Sistla AYu C(2000)Reasoning about Qualitative Spatial RelationshipsJournal of Automated Reasoning10.1023/A:100632241786925:4(291-328)Online publication date: 1-Nov-2000
https://dl.acm.org/doi/10.1023/A%3A1006322417869
Show More Cited By

Recommendations

Image-based computational simulation of sub-endothelial LDL accumulation in a human right coronary artery

Accumulation of low density lipoproteins (LDL) in the vessel wall is suggested as the initiator of atherosclerosis and coronary stenosis. This process is associated with the performance of endothelium layer that regulates entering of macromolecules to ...
Endothelium resolving simulations of wall shear-stress dependent mass transfer of LDL in diseased coronary arteries
Abstract
In the present study, we investigate blood flow and mass transfer of the low-density lipoprotein (LDL) in a simplified axisymmetric geometry with a mathematically well-defined narrowing (stenosis), which mimics a diseased human ...
Highlights
- Comprehensive multipore/multilayered arterial wall model for LDL accumulation presented.
Effects of Serum LDL-C, CysC, and D-D in Patients with Coronary Atherosclerotic Heart Disease
Objective. To investigate the effects of low-density lipoprotein cholesterol (LDL-C) and serum cystatin C (CysC) combined with D-dimer (D-D) on patients with coronary atherosclerotic heart disease (CHD). Methods. 90 patients with CHD who were admitted to ...

Comments

Information & Contributors

Information

Published In

VLDB '86: Proceedings of the 12th International Conference on Very Large Data Bases

August 1986

454 pages

ISBN:0934613184

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 25 August 1986

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1145/3191315.3191317
Ramakrishnan CRamakrishnan IWarren D(2006)Deductive spreadsheets using tabled logic programmingProceedings of the 22nd international conference on Logic Programming10.1007/11799573_29(391-405)Online publication date: 17-Aug-2006
https://dl.acm.org/doi/10.1007/11799573_29
Sistla AYu C(2000)Reasoning about Qualitative Spatial RelationshipsJournal of Automated Reasoning10.1023/A:100632241786925:4(291-328)Online publication date: 1-Nov-2000
https://dl.acm.org/doi/10.1023/A%3A1006322417869
Revesz P(1998)Refining Restriction Enzyme Genome MapsConstraints10.1023/A:10097517305002:3/4(361-375)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1023/A%3A1009751730500
Raschid LLobo J(1996)Semantics for update rule programs and implementation in a relational database management systemACM Transactions on Database Systems10.1145/236711.23671421:4(526-572)Online publication date: 1-Dec-1996
https://dl.acm.org/doi/10.1145/236711.236714
Ganguly SSilberschatz ATsur S(1995)Mapping Datalog Program Execution to Networks of ProcessorsIEEE Transactions on Knowledge and Data Engineering10.1109/69.3902437:3(351-361)Online publication date: 1-Jun-1995
https://dl.acm.org/doi/10.1109/69.390243
Sistla AYu CHaddad R(1994)Reasoning About Spatial Relationships in Picture Retrieval SystemsProceedings of the 20th International Conference on Very Large Data Bases10.5555/645920.672829(570-581)Online publication date: 12-Sep-1994
https://dl.acm.org/doi/10.5555/645920.672829
Dewan HStolfo SHernández MHwang J(1994)Predictive dynamic load balancing of parallel and distributed rule and query processingACM SIGMOD Record10.1145/191843.19189323:2(277-288)Online publication date: 24-May-1994
https://dl.acm.org/doi/10.1145/191843.191893
Dewan HStolfo SHernández MHwang J(1994)Predictive dynamic load balancing of parallel and distributed rule and query processingProceedings of the 1994 ACM SIGMOD international conference on Management of data10.1145/191839.191893(277-288)Online publication date: 24-May-1994
https://dl.acm.org/doi/10.1145/191839.191893
Lee BWiederhold G(1994)Outer Joins and Filters for Instantiating Objects from Relational Databases Through ViewsIEEE Transactions on Knowledge and Data Engineering10.1109/69.2730316:1(108-119)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1109/69.273031
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

References

Cited By

Recommendations

Image-based computational simulation of sub-endothelial LDL accumulation in a human right coronary artery

Endothelium resolving simulations of wall shear-stress dependent mass transfer of LDL in diseased coronary arteries

Effects of Serum LDL-C, CysC, and D-D in Patients with Coronary Atherosclerotic Heart Disease

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