| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Carlo Zaniolo 116 Carlo Zaniolo: Key Constraints and Monotonic Aggregates in Deductive Databases. Computational Logic: Logic Programming and Beyond 2002 : 109-134 115 Haixun Wang , Carlo Zaniolo: Extending SQL for Decision Support Applications. DMDW 2002 : 1-2 114 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo, Donghui Zhang : Efficient Complex Query Support for Multiversion XML Documents. EDBT 2002 : 161-178 113 Shu-Yao Chien , Zografoula Vagena , Donghui Zhang , Vassilis J. Tsotras , Carlo Zaniolo: Efficient Structural Joins on Indexed XML Documents. VLDB 2002 112 Filippo Furfaro , Sergio Greco , Sumit Ganguly , Carlo Zaniolo: Pushing extrema aggregates to optimize logic queries. Information Systems 27 (5): 321-343 (2002) 111 Reza Sadri , Carlo Zaniolo, Amir M. Zarkesh , Jafar Adibi : Optimization of Sequence Queries in Database Systems. PODS 2001 110 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo: Copy-Based versus Edit-Based Version Management Schemes for Structured Documents. RIDE-DM 2001 : 95-102 109 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo: Efficient Management of Multiversion Documents by Object Referencing. VLDB 2001 : 291-300 108 Reza Sadri , Carlo Zaniolo, Amir M. Zarkesh , Jafar Adibi : A Sequential Pattern Query Language for Supporting Instant Data Mining for e-Services. VLDB 2001 : 653-656 107 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo, Donghui Zhang : Storing and Querying Multiversion XML Documents using Durable Node Numbers. WISE (1) 2001 : 232- 106 Sergio Greco , Domenico Saccà , Carlo Zaniolo: Extending stratified datalog to capture complexity classes ranging from P to QH. Acta Informatica 37 (10): 699-725 (2001) 105 Fosca Giannotti , Dino Pedreschi , Carlo Zaniolo: Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. JCSS 62 (1): 15-42 (2001) 104 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo: XML Document Versioning. SIGMOD Record 30 (3): 46-53 (2001) 103 Sergio Greco , Carlo Zaniolo: Greedy Algorithms in Datalog. TPLP 1 (4): 381-407 (2001) 102 Carlo Zaniolo, Peter C. Lockemann , Marc H. Scholl , Torsten Grust : Advances in Database Technology - EDBT 2000, 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000, Proceedings. Springer 2000 101 Haixun Wang , Carlo Zaniolo: Database System Extensions for Decision Support: the AXL Approach. ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 2000 : 11-20 100 Cindy Xinmin Chen , Carlo Zaniolo: SQL ST : A Spatio-Temporal Data Model and Query Language. ER 2000 : 96-111 99 Haixun Wang , Carlo Zaniolo: User Defined Aggregates in Object-Relational Systems. ICDE 2000 : 135-144 98 Haixun Wang , Carlo Zaniolo: CMP: A Fast Decision Tree Classifier Using Multivariate Predictions. ICDE 2000 : 449-460 97 Haixun Wang , Carlo Zaniolo: Using SQL to Build New Aggregates and Extenders for Object- Relational Systems. VLDB 2000 : 166-175 96 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo: Version Management of XML Documents. WebDB (Informal Proceedings) 2000 : 75-80 95 Shu-Yao Chien , Vassilis J. Tsotras , Carlo Zaniolo: Version Management of XML Documents. WebDB (Selected Papers) 2000 : 184-200 94 Haixun Wang , Carlo Zaniolo: User-Defined Aggregates for Datamining. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999 93 Haixun Wang , Carlo Zaniolo: User-Defined Aggregates in Database Languages. DBPL 1999 : 43-60 92 Cindy Xinmin Chen , Carlo Zaniolo: Universal Temporal Extensions for Database Languages. ICDE 1999 : 428-437 91 Sergio Greco , Domenico Saccà , Carlo Zaniolo: Grammars and Automata to Optimize Chain Logic Queries. International Journal of Foundations of Computer Science 10 (3): 349- (1999) 90 Cindy Xinmin Chen , Carlo Zaniolo: Universal Temporal Data Languages. DDLP 1998 : 113-126 89 Haixun Wang , Carlo Zaniolo: User Defined Aggregates for Logical Data Languages. DDLP 1998 : 85-97 88 Sergio Greco , Carlo Zaniolo, Sumit Ganguly : Optimization of Logic Queries with MIN and MAX Predicates. FQAS 1998 : 188-202 87 Sergio Greco , Carlo Zaniolo: Greedy Algorithms in Datalog with Choice and Negation. IJCSLP 1998 : 294-309 86 Carlo Zaniolo, Stefano Ceri , Christos Faloutsos , Richard T. Snodgrass , V. S. Subrahmanian , Roberto Zicari : Advanced Database Systems. Morgan Kaufmann 1997 85 Carlo Zaniolo: The Nonmonotonic Semantics of Active Rules in Deductive Databases. DOOD 1997 : 265-282 84 Iakovos Motakis , Carlo Zaniolo: Temporal Aggregation in Active Database Rules. SIGMOD Conference 1997 : 440-451 83 Antonio Brogi , V. S. Subrahmanian , Carlo Zaniolo: The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. Annals of Mathematics and Artificial Intelligence 19 (1-2): 27-58 (1997) 82 Fosca Giannotti , Sergio Greco , Domenico Saccà , Carlo Zaniolo: Programming with Non-Determinism in Deductive Databases. Annals of Mathematics and Artificial Intelligence 19 (1-2): 97-125 (1997) 81 Domenico Saccà , Carlo Zaniolo: Deterministic and Non-Deterministic Stable Models. Journal of Logic and Computation 7 (5): 555-579 (1997) 80 Iakovos Motakis , Carlo Zaniolo: Formal Semantics for Composite Temporal Events in Active Database Rules. Journal of Systems Integration 7 (3/4): 291-325 (1997) 79 Wei-Min Shen , KayLiang Ong , Bharat G. Mitbander , Carlo Zaniolo: Metaqueries for Data Mining. Advances in Knowledge Discovery and Data Mining 1996 : 375-398 78 Arno Siebes , Shalom Tsur , Jeffrey D. Ullman , Laurent Vieille , Carlo Zaniolo: Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion). Logic in Databases 1996 : 225-229 77 Luigi Palopoli , Carlo Zaniolo: Polynomial-Time Computable Stable Models. Annals of Mathematics and Artificial Intelligence 17 (3-4): 261-290 (1996) 76 Iakovos Motakis , Carlo Zaniolo: Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach. DOOD 1995 : 19-37 75 Carlo Zaniolo: Active Database Rules with Transaction-Conscious Stable-Model Semantics. DOOD 1995 : 55-72 74 Sergio Greco , Domenico Saccà , Carlo Zaniolo: The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). ICALP 1995 : 523-534 73 Sergio Greco , Domenico Saccà , Carlo Zaniolo: DATALOG Queries with Stratified Negation and Choice: from P to D P . ICDT 1995 : 82-96 72 V. S. Subrahmanian , Carlo Zaniolo: Relating Stable Models and AI Planning Domains. ICLP 1995 : 233-247 71 Carlo Zaniolo, Dimitrios Tsonis : Intelligent Knowledge Discovery Assistants on the Internet (Abstract). KDOOD/TDOOD 1995 : 26-27 70 Carlo Zaniolo: The Dynamics of Active Database Rules: Models and Refinements. NGITS 1995 : 0- 69 Iakovos Motakis , Carlo Zaniolo: Composite Temporal Events in Active Databases: A Formal Semantics. Temporal Databases 1995 : 332-351 68 Sumit Ganguly , Sergio Greco , Carlo Zaniolo: Extrema Predicates in Deductive Databases. JCSS 51 (2): 244-259 (1995) 67 Jorge B. Bocca , Matthias Jarke , Carlo Zaniolo: VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile. Morgan Kaufmann 1994 66 Sergio Greco , Carlo Zaniolo: Efficient Execution of Recursive Queries Through Controlled Binding Propagation. ISMIS 1994 : 193-202 65 Wei-Min Shen , Bharat G. Mitbander , KayLiang Ong , Carlo Zaniolo: Using Metagueries to Integrate Inductive Learning and Deductive Database Technology. KDD Workshop 1994 : 335-346 64 Carlo Zaniolo, Reza Sadri : A Simple Model for Active Rules and their Behavior in Deductive Databases. Workshop on Deductive Databases and Logic Programming 1994 : 13-26 63 Luca Corciulo , Fosca Giannotti , Dino Pedreschi , Carlo Zaniolo: Expressive Power of Non-Deterministic Operators for Logic-based Languages. Workshop on Deductive Databases and Logic Programming 1994 : 27-40 62 Carlo Zaniolo: On the Unification of Active Databases and Deductive databases. BNCOD 1993 : 23-39 61 Carlo Zaniolo, Natraj Arni , KayLiang Ong : Negation and Aggregates in Recursive Rules: the LDL++ Approach. DOOD 1993 : 204-221 60 Sergio Greco , Domenico Saccà , Carlo Zaniolo: Dynamic Programming Optimization for Logic Queries with Aggregates. ILPS 1993 : 575-589 59 Luigi Palopoli , Carlo Zaniolo: Polynominal Time Computable Stable Models. ILPS 1993 : 645 58 Carlo Zaniolo: A Unified Semantics for Active and Deductive Databases. Rules in Database Systems 1993 : 271-287 57 Richard R. Muntz , Eddie C. Shek , Carlo Zaniolo: Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases. Workshop on Programming with Logic Databases (Book), ILPS 1993 : 101-119 56 Ping-Yu Hsu , Carlo Zaniolo: A new User's Impressions on LDL++ and CORAL. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993 : 134-145 55 Shawn Shaw , Lena Foggiato-Bish , Iris Garcia , Gherin Tillman , Dave Tryon , Wendy Wood , Carlo Zaniolo: Improving Data Quality Via LDL++. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993 : 60-73 54 Richard R. Muntz , Eddie C. Shek , Carlo Zaniolo: Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993 : 74-86 53 Sergio Greco , Carlo Zaniolo: Optimization of Linear Logic Programs Using Counting Methods. EDBT 1992 : 72-87 52 Els Laenens , Dirk Vermeir , Carlo Zaniolo: Logic Programming Semantics Made Easy. ICALP 1992 : 499-508 51 Sergio Greco , Carlo Zaniolo, Sumit Ganguly : Greedy by Choice. PODS 1992 : 105-113 50 Carlo Zaniolo: Intelligent Databases: Old Challenges and New Opportunities. JIIS 1 (3/4): 271-292 (1992) 49 Oded Shmueli , Shalom Tsur , Carlo Zaniolo: Compilation of Set Terms in the Logic Data Language (LDL). JLP 12 (1&2): 89-119 (1992) 48 Fosca Giannotti , Dino Pedreschi , Domenico Saccà , Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991 : 129-146 47 Domenico Saccà , Carlo Zaniolo: Partial Models and Three-Valued Models in Logic Programs with Negation. LPNMR 1991 : 87-101 46 Carlo Zaniolo: Efficient Processing of Declarative Rule-Based Languages for Datebases. PDK 1991 : 1-16 45 Sumit Ganguly , Sergio Greco , Carlo Zaniolo: Minimum and Maximum Predicates in Logic Programming. PODS 1991 : 154-163 44 Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990 : 1-15 43 D. Ackley , R. P. Carasik , T. Soon , D. Tyron , E. Tsou , Shalom Tsur , Carlo Zaniolo: System Analysis for Deductive Database Environments: An Enhanced Role for Aggregate Entities. ER 1990 : 129-142 42 Carlo Zaniolo: Deductive Database Systems: Applications and Programming. NACLP 1990 : 842-845 41 Domenico Saccà , Carlo Zaniolo: Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990 : 205-217 40 Jeffrey D. Ullman , Carlo Zaniolo: Deductive Databases: Achievements and Future Directions. SIGMOD Record 19 (4): 75-82 (1990) 39 Danette Chimenti , Ruben Gamboa , Ravi Krishnamurthy , Shamim A. Naqvi , Shalom Tsur , Carlo Zaniolo: The LDL System Prototype. TKDE 2 (1): 76-90 (1990) 38 Carlo Zaniolo: Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach. DOOD 1989 : 7-21 37 Ravi Krishnamurthy , Shamim A. Naqvi , Carlo Zaniolo: Database Transactions in LDL. NACLP 1989 : 795-815 36 Carlo Zaniolo, Domenico Saccà : Rule Rewriting Methods in the Implementation of the Logic Language LDL. DS-3 1988 : 457-483 35 Ravi Krishnamurthy , Carlo Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Applications. EDBT 1988 : 16-33 34 Carlo Zaniolo: Design and Implementation of a Logic Based Language for Data Intensive Applications. ICLP/SLP 1988 : 1666-1687 33 Domenico Saccà , Carlo Zaniolo: Differential Fixpoint Methods and Stratification of Logic Programs. JCDKB 1988 : 49-58 32 Oded Shmueli , Shalom Tsur , Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988 : 15-28 31 Domenico Saccà , Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. TCS 62 (1-2): 187-220 (1988) 30 Ravi Krishnamurthy , Carlo Zaniolo: Control and Optimization Strategies in the Implementation of LDL. DBPL 1987 : 329-345 29 Domenico Saccà , Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987 : 104-135 28 Domenico Saccà , Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987 : 49-59 27 Carlo Zaniolo: Databases and Logic - Forword by the Guest Editor. Data Engineering Bulletin 10 (4): 1 (1987) 26 Danette Chimenti , Anthony B. O'Hare , Ravi Krishnamurthy , Shalom Tsur , Carolyn West , Carlo Zaniolo: An Overview of the LDL System. Data Engineering Bulletin 10 (4): 52-62 (1987) 25 Carlo Zaniolo: Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 28-30, 1986. ACM Press 1986 24 Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. Expert Database Conf. 1986 : 237-252 23 Carlo Zaniolo, Domenico Saccà : Rule Rewriting Methods for Efficient Implementations of Horn Logic. Foundations of Logic and Functional Programming 1986 : 114-139 22 Domenico Saccà , Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986 : 31-53 21 Domenico Saccà , Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986 : 16-23 20 Ravi Krishnamurthy , Haran Boral , Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986 : 128-137 19 Shalom Tsur , Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986 : 33-41 18 Ravi Krishnamurthy , Carlo Zaniolo: Safety and Optimization of Horn Clause Queries. XP1 Workshop on Database Theory 1986 17 Ravi Krishnamurthy , Carlo Zaniolo: Issues in the Optimization of a Logic Based Language. Database Engineering Bulletin 9 (4): 2-9 (1986) 16 Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985 : 458-469 15 Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. Expert Database Workshop 1984 : 219-232 14 Carlo Zaniolo, Hassan Aït-Kaci , David Beech , Stephanie J. Cammarata , David Maier : Object Oriented Database Systems and Knowledge Systems. Expert Database Workshop 1984 : 49-65 13 Shalom Tsur , Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984 : 286-295 12 Carlo Zaniolo: Object-Oriented Programming in Prolog. SLP 1984 : 265-270 11 Carlo Zaniolo: Database Relations with Null Values. JCSS 28 (1): 142-166 (1984) 10 Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983 : 207-218 9 Carlo Zaniolo: Database Relations with Null Values. PODS 1982 : 27-33 8 Carlo Zaniolo, Michel A. Melkanoff : A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems. TODS 7 (1): 24-59 (1982) 7 Carlo Zaniolo: A New Normal Form for the Design of Relational Database Schemata. TODS 7 (3): 489-499 (1982) 6 Carlo Zaniolo, Michel A. Melkanoff : On the Design of Relational Database Schemata. TODS 6 (1): 1-47 (1981) 5 Carlo Zaniolo: Mixed Transitivity for Functional and Multivalued Dependencies in Database Relations. Information Processing Letters 10 (1): 32-34 (1980) 4 Michel A. Melkanoff , Carlo Zaniolo: Decomposition of Relations and Synthesis of Entity-Relationship Diagrams. ER 1979 : 277-294 3 Carlo Zaniolo: Multimodel External Schemas for Codasyl Database Management Systems. IFIP TC-2 Working Conference on Data Base Architecture 1979 : 157-176 2 Carlo Zaniolo: Design of Relational Views over Network Schemas. SIGMOD Conference 1979 : 179-190 1 Carlo Zaniolo, Michel A. Melkanoff : Letter. SIGMOD Record 9 (1): 1-2 (1977)  DiSC'02 © 2003 Association for Computing Machinery |
