Article

ILOG: Declarative Creation and Manipulation of Object Identifiers

Authors:

Richard Hull,

Masatoshi YoshikawaAuthors Info & Claims

VLDB '90: Proceedings of the 16th International Conference on Very Large Data Bases

Pages 455 - 468

Published: 13 August 1990 Publication History

Abstract

No abstract available.

References

[1]

[AB86] Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986).

Digital Library

Google Scholar

[2]

[Abi89] Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. DOOD 1989: 453-472.

Google Scholar

[3]

[ABW86] Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148.

Digital Library

Google Scholar

[4]

[AG88] Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293.

Digital Library

Google Scholar

[5]

[AH87] Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525- 565(1987).

Digital Library

Google Scholar

[6]

[AH88] Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153.

Digital Library

Google Scholar

[7]

[AK89] Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173.

Digital Library

Google Scholar

[8]

[AK90] S. Abiteboul and P. Kanellakis. Private communication, 1990.

Google Scholar

[9]

[Apt88] Krzysztof R. Apt. Introduction to logic programming. Technical Report TR-87-35, (revised), Dept. of Computer Science, Univ. of Texas at Austin, July 1988. to appear in Handbook of Theoretical Computer Science.

Digital Library

Google Scholar

[10]

[AV87] Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268.

Digital Library

Google Scholar

[11]

[AV88a] Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991).

Digital Library

Google Scholar

[12]

[AV88b] Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250.

Digital Library

Google Scholar

[13]

[Bee89] Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989: 405-430.

Google Scholar

[14]

[BM81] Amihai Motro, Peter Buneman: Constructing Superviews. SIGMOD Conference 1981: 56-64.

Digital Library

Google Scholar

[15]

[CFP84] Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984).

Crossref

Google Scholar

[16]

[CH80] Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156- 178(1980).

Crossref

Google Scholar

[17]

[Che76] Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976).

Digital Library

Google Scholar

[18]

[CM77] Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90.

Digital Library

Google Scholar

[19]

[Coh86] Donald Cohen: Automatic Compilation of Logical Specifications into Efficient Programs. AAAI 1986: 21-25.

Google Scholar

[20]

[Coh89] Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234.

Digital Library

Google Scholar

[21]

[CW89] Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378.

Digital Library

Google Scholar

[22]

[Day89] Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102.

Digital Library

Google Scholar

[23]

[DH84] Umeshwar Dayal, Hai-Yann Hwang: View Definition and Generalization for Database Integration in a Multidatabase System. IEEE Trans. Software Eng. 10(6): 628-645(1984).

Digital Library

Google Scholar

[24]

[GR83] Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983.

Digital Library

Google Scholar

[25]

[HK87] Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987).

Digital Library

Google Scholar

[26]

[HM85] Dennis Heimbigner, Dennis McLeod: A Federated Architecture for Information Management. ACM Trans. Inf. Syst. 3(3): 253-278(1985).

Digital Library

Google Scholar

[27]

[Hul86] Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856- 886(1986).

Digital Library

Google Scholar

[28]

[Hul89] Richard Hull: Four Views of Complex Objects: A Sophisticate's Introduction. NF² 1987: 87-116.

Google Scholar

[29]

[HWW90] Richard Hull, Surjatini Widjojo, and Dave Wile. Specificational approach to database transformation. Technical report, USC/Information Sciences Institute, February 1990.

Google Scholar

[30]

[HY91] R. Hull and M. Yoshikawa. ILOG: Declarative Creation and Manipulation of Object Identifiers, 1991. in preparation.

Google Scholar

[31]

[Jac89] Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247.

Digital Library

Google Scholar

[32]

[JK84] David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. J. Comput. Syst. Sci. 28(1): 167-189(1984).

Crossref

Google Scholar

[33]

[KC86] Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416.

Digital Library

Google Scholar

[34]

[Klu80] Anthony C. Klug: Calculating Constraints on Relational Expressions. ACM Trans. Database Syst. 5(3): 260-290 (1980).

Digital Library

Google Scholar

[35]

[KP82] Anthony C. Klug, Rod Price: Determining View Dependencies Using Tableaux. ACM Trans. Database Syst. 7(3): 361-380(1982).

Digital Library

Google Scholar

[36]

[KV84] Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96.

Digital Library

Google Scholar

[37]

[KW89] Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393.

Digital Library

Google Scholar

[38]

[Llo87] John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7.

Digital Library

Google Scholar

[39]

[LV87] Peter Lyngbæk, Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142.

Digital Library

Google Scholar

[40]

[Mai86] D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programing , pages 6-26, Washington, D.C., August 1986.

Google Scholar

[41]

[Mit83] John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. Information and Control 56(3): 154-173(1983).

Digital Library

Google Scholar

[42]

[Mot87] Amihai Motro: Superviews: Virtual Integration of Multiple Databases. IEEE Trans. Software Eng. 13(7): 785-798 (1987).

Digital Library

Google Scholar

[43]

[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

[44]

[RKS88] Mark A. Roth, Henry F. Korth, Abraham Silberschatz: Extended Algebra and Calculus for Nested Relational Databases. ACM Trans. Database Syst. 13(4): 389-417(1988).

Digital Library

Google Scholar

[45]

[She90] Yeh-Heng Sheng: IDLOG: Extending the Expressive Power of Deductive Database Languages. SIGMOD Conference 1990: 54-63.

Digital Library

Google Scholar

[46]

[Shi81] David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981).

Digital Library

Google Scholar

[47]

[Ull87] Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1.

Digital Library

Google Scholar

[48]

[Var82] Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146.

Digital Library

Google Scholar

[49]

[vG86] Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138.

Google Scholar

[50]

[WHW89] Surjatini Widjojo, Richard Hull, and Dave Wile. Distributed Information Sharing using WorldBase. IEEE Office Knowledge Engineering, 3(2):17-26, August 1989.

Google Scholar

Cited By

View all

Boneva IGroz BHidders JMurlak FStaworko SGeerts FNgo HSintos S(2023)Static Analysis of Graph Database TransformationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588654(251-261)Online publication date: 18-Jun-2023
https://dl.acm.org/doi/10.1145/3584372.3588654
Hai RQuix C(2019)Rewriting of plain SO tgds into nested tgdsProceedings of the VLDB Endowment10.14778/3342263.334263112:11(1526-1538)Online publication date: 1-Jul-2019
https://dl.acm.org/doi/10.14778/3342263.3342631
Hidders JParedaens JVan den Bussche JSallinger EVan den Bussche JGeerts F(2017)J-LogicProceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3034786.3056106(137-149)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3034786.3056106
Show More Cited By

Recommendations

Integrating ILOG CP technology into TOY
WFLP'09: Proceedings of the 18th international conference on Functional and Constraint Logic Programming

The constraint functional logic programming system $\mathcal{TOY}$ has been using the SICStus Prolog finite domain ($\mathcal{FD}$) constraint solver. In this work, we show how to integrate the ILOG CP $\mathcal{FD}$ constraint solving technology into ...
ILOG Elixir
Graph Drawing

The Adobe technology platform including Adobe^© Flexc^© [2] and Adobe AIRTM [3] deliver portability, high performance and rich graphical UI to internet and desktop applications. ILOG Elixir [1] enhances this platform by adding advanced data visualization ...
Intelligent Learning Object Guide (iLOG): A Framework for Automatic Empirically-Based Metadata Generation
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling

We present a framework for the automatic annotation of learning objects (LOs) with empirical usage metadata. Our implementation of the Intelligent Learning Object Guide (iLOG) was used to collect interaction data of over 200 students' interactions with ...

Comments

Information & Contributors

Information

Published In

VLDB '90: Proceedings of the 16th International Conference on Very Large Data Bases

August 1990

728 pages

ISBN:155860149X

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 13 August 1990

Qualifiers

Article

Conference

VLDB'90

VLDB'90: The Conference on Very Large DataBases

August 13 - 16, 1990

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 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Boneva IGroz BHidders JMurlak FStaworko SGeerts FNgo HSintos S(2023)Static Analysis of Graph Database TransformationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588654(251-261)Online publication date: 18-Jun-2023
https://dl.acm.org/doi/10.1145/3584372.3588654
Hai RQuix C(2019)Rewriting of plain SO tgds into nested tgdsProceedings of the VLDB Endowment10.14778/3342263.334263112:11(1526-1538)Online publication date: 1-Jul-2019
https://dl.acm.org/doi/10.14778/3342263.3342631
Hidders JParedaens JVan den Bussche JSallinger EVan den Bussche JGeerts F(2017)J-LogicProceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3034786.3056106(137-149)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3034786.3056106
Ameloot TKetsman BNeven FZinn D(2017)Datalog Queries Distributing over ComponentsACM Transactions on Computational Logic10.1145/302274318:1(1-35)Online publication date: 22-Feb-2017
https://dl.acm.org/doi/10.1145/3022743
Ameloot TKetsman BNeven FZinn D(2015)Weaker Forms of Monotonicity for Declarative NetworkingACM Transactions on Database Systems10.1145/280978440:4(1-45)Online publication date: 22-Dec-2015
https://dl.acm.org/doi/10.1145/2809784
Kwasnikowska NMoreau LBussche J(2015)A Formal Account of the Open Provenance ModelACM Transactions on the Web10.1145/27341169:2(1-44)Online publication date: 13-May-2015
https://dl.acm.org/doi/10.1145/2734116
Gottlob GRudolph SSimkus MHull RGrohe M(2014)Expressiveness of guarded existential rule languagesProceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems10.1145/2594538.2594556(27-38)Online publication date: 18-Jun-2014
https://dl.acm.org/doi/10.1145/2594538.2594556
Ameloot TKetsman BNeven FZinn DHull RGrohe M(2014)Weaker forms of monotonicity for declarative networkingProceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems10.1145/2594538.2594541(64-75)Online publication date: 18-Jun-2014
https://dl.acm.org/doi/10.1145/2594538.2594541
Arocena PGlavic BMiller RRoss KSrivastava DPapadias D(2013)Value invention in data exchangeProceedings of the 2013 ACM SIGMOD International Conference on Management of Data10.1145/2463676.2465311(157-168)Online publication date: 22-Jun-2013
https://dl.acm.org/doi/10.1145/2463676.2465311
Mecca GPapotti PRaunich SSantoro DChen XLebanon GWang HZaki M(2012)What is the IQ of your data transformation system?Proceedings of the 21st ACM international conference on Information and knowledge management10.1145/2396761.2396872(872-881)Online publication date: 29-Oct-2012
https://dl.acm.org/doi/10.1145/2396761.2396872
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.

Cited By

Recommendations

Integrating ILOG CP technology into TOY

ILOG Elixir

Intelligent Learning Object Guide (iLOG): A Framework for Automatic Empirically-Based Metadata Generation

Comments

Published In

Publisher

Publication History

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

References

Cited By

Recommendations

Integrating ILOG CP technology into TOY

ILOG Elixir

Intelligent Learning Object Guide (iLOG): A Framework for Automatic Empirically-Based Metadata Generation

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Conference

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