2009 | ||
---|---|---|
228 | EE | Stefano Ceri: Search Computing. ICDE 2009: 1-3 |
227 | EE | Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, Michael Grossniklaus: C-SPARQL: SPARQL for continuous querying. WWW 2009: 1061-1062 |
2008 | ||
226 | Stefano Ceri, Wolfgang Nejdl, Jan van Bruggen, Frans Van Assche: Proceedings of the 1st International Workshop on Collaborative Open Environments for Project-Centered Learning, COOPER-2007, Sissi, Lassithi - Crete Greece, 17 September, 2007 CEUR-WS.org 2008 | |
225 | EE | Emanuele Della Valle, Stefano Ceri, Davide Francesco Barbieri, Daniele Braga, Alessandro Campi: A First Step Towards Stream Reasoning. FIS 2008: 72-81 |
224 | EE | Alessandro Raffio, Daniele Braga, Stefano Ceri, Paolo Papotti, Mauricio A. Hernández: Clip: a Visual Language for Explicit Schema Mappings. ICDE 2008: 30-39 |
223 | EE | Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone: NGS: a framework for multi-domain query answering. ICDE Workshops 2008: 254-261 |
222 | Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone: A New Generation Search Engine Supporting Cross Domain Queries. SEBD 2008: 342-349 | |
221 | EE | Alessandro Raffio, Daniele Braga, Stefano Ceri, Paolo Papotti, Mauricio A. Hernández: Clip: a tool for mapping hierarchical schemas. SIGMOD Conference 2008: 1271-1274 |
220 | EE | Roberto Acerbis, Aldo Bongio, Marco Brambilla, Stefano Butti, Stefano Ceri, Piero Fraternali: Web Applications Design and Development with WebML and WebRatio 5.0. TOOLS (46) 2008: 392-411 |
219 | EE | Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi: Mashing Up Search Services. IEEE Internet Computing 12(5): 16-23 (2008) |
218 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri, Alessandro Raffio: Joining the results of heterogeneous search engines. Inf. Syst. 33(7-8): 658-680 (2008) |
217 | EE | Marco Brambilla, Stefano Ceri, Irene Celino, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Andrea Turati, Christina Tziviskou: Experiences in the Design of Semantic Services Using Web Engineering Methods and Tools. J. Data Semantics 11: 1-31 (2008) |
216 | EE | Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi: Optimization of multi-domain queries on the web. PVLDB 1(1): 562-573 (2008) |
2007 | ||
215 | EE | Stefano Ceri: Design Abstractions for Innovative Web Applications. BNCOD 2007: 1-2 |
214 | EE | Stefano Ceri, Florian Daniel, Maristella Matera, Alessandro Raffio, Howard Spoelstra: Enabling Project-Centred Learning through Flexible Processes: the COOPER Experience. COOPER 2007 |
213 | EE | Nicola Aste, Aldo Bongio, Stefano Ceri, Marco Fais, Maristella Matera, Alessandro Raffio: Model-Driven Design of VoIP Services for E-Learning. COOPER 2007 |
212 | EE | Stefano Ceri, Maristella Matera, Alessandro Raffio, Howard Spoelstra: Flexible Processes in Project-Centred Learning. EC-TEL 2007: 463-468 |
211 | EE | Stefano Ceri, Marco Brambilla, Emanuele Della Valle: Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics. ESWC 2007: 4-15 |
210 | Maciej Zaremba, Tomas Vitvar, Matthew Moran, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou: Towards Semantic Interoperabilty - In-depth Comparison of Two Approaches to Solving Semantic Web Service Challenge Mediation Tasks. ICEIS (4) 2007: 413-421 | |
209 | Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou: The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429 | |
208 | Ulrich Küster, Andrea Turati, Maciej Zaremba, Birgitta König-Ries, Dario Cerizza, Emanuele Della Valle, Marco Brambilla, Stefano Ceri, Federico Michele Facca, Christina Tziviskou: Service Discovery with SWE-ET and DIANE - A Comparative Evaluation by Means of Solutions to a Common Scenario. ICEIS (4) 2007: 430-437 | |
207 | EE | Roberto Acerbis, Aldo Bongio, Marco Brambilla, Massimo Tisi, Stefano Ceri, Emanuele Tosetti: Developing eBusiness Solutions with a Model Driven Approach: The Case of Acer EMEA. ICWE 2007: 539-544 |
206 | EE | Marco Brambilla, Stefano Ceri, Federico Michele Facca, Christina Tziviskou, Irene Celino, Dario Cerizza, Emanuele Della Valle, Andrea Turati: WebML and Glue: An Integrated Discovery Approach for the SWS Challenge. Web Intelligence/IAT Workshops 2007: 148-151 |
205 | EE | Stefano Ceri, Francesco Di Giunta, Pier Luca Lanzi: Mining constraint violations. ACM Trans. Database Syst. 32(1): 6 (2007) |
204 | EE | Stefano Ceri, Florian Daniel, Maristella Matera, Federico Michele Facca: Model-driven development of context-aware Web applications. ACM Trans. Internet Techn. 7(1): (2007) |
203 | EE | Marco Brambilla, Stefano Ceri, Federico Michele Facca, Irene Celino, Dario Cerizza, Emanuele Della Valle: Model-driven design and development of semantic Web service applications. ACM Trans. Internet Techn. 8(1): (2007) |
202 | EE | Stefano Ceri, Maristella Matera, Francesca Rizzo, Vera Demaldé: Designing data-intensive web applications for content accessibility using web marts. Commun. ACM 50(4): 55-61 (2007) |
201 | EE | Peter Dolog, Milos Kravcik, Alexandra I. Cristea, Daniel Burgos, Paul De Bra, Stefano Ceri, Vladan Devedzic, Geert-Jan Houben, Paul Libbrecht, Maristella Matera, Erica Melis, Wolfgang Nejdl, Marcus Specht, Craig Stewart, David Smits, Natalia Stash, Colin Tattersall: Specification, authoring and prototyping of personalised workplace learning solutions. IJLT 3(3): 286-308 (2007) |
200 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007) |
199 | EE | Stefano Ceri, Cristiana Bolchini, Daniele Braga, Marco Brambilla, Alessandro Campi, Sara Comai, Piero Fraternali, Pier Luca Lanzi, Marco Masseroli, Maristella Matera, Mauro Negri, Giuseppe Pelagatti, Giuseppe Pozzi, Elisa Quintarelli, Fabio A. Schreiber, Letizia Tanca: Data and web management research at Politecnico di Milano. SIGMOD Record 36(4): 43-48 (2007) |
198 | EE | Carlo Batini, Davide Bolchini, Stefano Ceri, Maristella Matera, Andrea Maurino, Paolo Paolini: The UM-MAIS Methodology for Multi-channel Adaptive Web Information Systems. World Wide Web 10(4): 349-385 (2007) |
197 | EE | Stefano Ceri, Florian Daniel, Federico Michele Facca, Maristella Matera: Model-driven Engineering of Active Context-awareness. World Wide Web 10(4): 387-413 (2007) |
2006 | ||
196 | EE | Aldo Bongio, Jan van Bruggen, Stefano Ceri, Valentin Cristea, Peter Dolog, Andreas Hoffmann, Maristella Matera, Marzia Mura, Antonio Taddeo, Xuan Zhou, Larissa Zoni: COOPER: Towards a Collaborative Open Environment of Project-Centred Learning. EC-TEL 2006: 561-566 |
195 | Marco Brambilla, Stefano Ceri, Sara Comai, Christina Tziviskou: A Visual Data Mapping Tool for Software Components Interactions in Service-Oriented Architectures. IASTED Conf. on Software Engineering 2006: 33-38 | |
194 | EE | Stefano Ceri, Florian Daniel, Maristella Matera, Francesca Rizzo: Extended memory (xMem) of web interactions. ICWE 2006: 177-184 |
193 | EE | Marco Brambilla, Irene Celino, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca: A Software Engineering Approach to Design and Development of Semantic Web Service Applications. International Semantic Web Conference 2006: 172-186 |
192 | EE | Marco Brambilla, Stefano Ceri, Piero Fraternali, Ioana Manolescu: Process modeling in Web applications. ACM Trans. Softw. Eng. Methodol. 15(4): 360-409 (2006) |
191 | EE | Stefano Ceri, Florian Daniel, Federico Michele Facca: Modeling web applications reacting to user behaviors. Computer Networks 50(10): 1533-1546 (2006) |
190 | EE | Marco Brambilla, Stefano Ceri, Sara Comai, Piero Fraternali: A CASE tool for modelling and automatically generating web service-enabled applications. Int. J. Web Eng. Technol. 2(4): 354-372 (2006) |
2005 | ||
189 | Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsene, Michael Rys, Rainer Unland: Database and XML Technologies, Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings Springer 2005 | |
188 | EE | Stefano Ceri, Florian Daniel, Vera Demaldé, Federico Michele Facca: An Approach to User-Behavior-Aware Web Applications. ICWE 2005: 417-428 |
187 | EE | Stefano Ceri: Process Modeling in Web Applications. OTM Conferences (1) 2005: 20 |
186 | Marco Brambilla, Stefano Ceri, Sara Comai, Christina Tziviskou: Exception Handling in Workflow-Driven Web Applications. SEBD 2005: 16-23 | |
185 | EE | Marco Brambilla, Stefano Ceri, Piero Fraternali, Roberto Acerbis, Aldo Bongio: Model-driven design of service-enabled web applications. SIGMOD Conference 2005: 851-856 |
184 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri, Alessandro Raffio: XQBE: a visual environment for learning XML query languages. SIGMOD Conference 2005: 903-905 |
183 | EE | Marco Brambilla, Stefano Ceri, Sara Comai, Christina Tziviskou: Exception handling in workflow-driven Web applications. WWW 2005: 170-179 |
182 | EE | Federico Michele Facca, Stefano Ceri, Jacopo Armani, Vera Demaldé: Building reactive web applications. WWW (Special interest tracks and posters) 2005: 1058-1059 |
181 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri: XQBE (XQuery By Example): A visual interface to the standard XML query language. ACM Trans. Database Syst. 30(2): 398-443 (2005) |
180 | EE | Ioana Manolescu, Marco Brambilla, Stefano Ceri, Sara Comai, Piero Fraternali: Model-driven design and deployment of service-enabled web applications. ACM Trans. Internet Techn. 5(3): 439-479 (2005) |
179 | EE | Serge Abiteboul, Rakesh Agrawal, Philip A. Bernstein, Michael J. Carey, Stefano Ceri, W. Bruce Croft, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Dieter Gawlick, Jim Gray, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Martin L. Kersten, Michael J. Pazzani, Michael Lesk, David Maier, Jeffrey F. Naughton, Hans-Jörg Schek, Timos K. Sellis, Avi Silberschatz, Michael Stonebraker, Richard T. Snodgrass, Jeffrey D. Ullman, Gerhard Weikum, Jennifer Widom, Stanley B. Zdonik: The Lowell database research self-assessment. Commun. ACM 48(5): 111-118 (2005) |
178 | EE | Angela Bonifati, Stefano Ceri, Stefano Paraboschi: Event Trace Independence of active behavior. Inf. Process. Lett. 94(2): 71-77 (2005) |
177 | Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl: Adding Client-Side Adaptation to the Conceptual Design of e-Learning Web Applications. J. Web Eng. 4(1): 21-37 (2005) | |
2004 | ||
176 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri: XQBE: A Graphical Interface for XQuery Engines. EDBT 2004: 848-850 |
175 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri: XML Challenges for the Database Community: Past, Present, and Future. EDBT Workshops 2004: 197-208 |
174 | EE | Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl: Model-Driven Design of Web Applications with Client-Side Adaptation. ICWE 2004: 201-214 |
173 | EE | Roberto Acerbis, Aldo Bongio, Stefano Butti, Stefano Ceri, Fulvio Ciapessoni, Carlo Conserva, Piero Fraternali, Giovanni Toffetti: WebRatio, an Innovative Technology for Web Application Development. ICWE 2004: 613-614 |
172 | EE | Marco Brambilla, Stefano Ceri, Mario Passamani, Alberto Riccio: Managing Asynchronous Web Services Interactions. ICWS 2004: 80-87 |
171 | EE | Marco Brambilla, Stefano Ceri, Sara Comai, Marco Dario, Piero Fraternali, Ioana Manolescu: Declarative Specification of Web Applications exploiting Web Services and Workflows. SIGMOD Conference 2004: 909-910 |
2003 | ||
170 | EE | Stefano Ceri, Piero Fraternali, Aldo Bongio, Stefano Butti, Roberto Acerbis, Marco Tagliasacchi, Giovanni Toffetti, Carlo Conserva, Roberto Elli, Fulvio Ciapessoni, Claudio Greppi: Architectural Issues and Solutions in the Development of Data-Intensive Web Applications. CIDR 2003 |
169 | Enrico Augurusa, Daniele Braga, Alessandro Campi, Stefano Ceri: Design and Implementation of a Graphical Interface to Xquery. SAC 2003: 1163-1167 | |
168 | Daniele Braga, Alessandro Campi, Stefano Ceri, Mika Klemettinen, Pier Luca Lanzi: Discovering Interesting Information in XML Data with Association Rules. SAC 2003: 450-454 | |
167 | EE | Stefano Ceri, Ioana Manolescu: Constructing and integrating data-centric Web Applications: Methods, Tools, and Techniques. VLDB 2003: 1151 |
166 | EE | Ioana Manolescu, Stefano Ceri, Marco Brambilla, Piero Fraternali, Sara Comai: Exploiting the Combined Potential of Web Applications and Web Services. WWW (Posters) 2003 |
165 | EE | Marco Brambilla, Stefano Ceri, Sara Comai, Piero Fraternali, Ioana Manolescu: Specification and Design of Workflow-driven Hypertexts. WWW (Posters) 2003 |
164 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri, Enrico Augurusa: XQuery By Example. WWW (Posters) 2003 |
163 | EE | Serge Abiteboul, Rakesh Agrawal, Philip A. Bernstein, Michael J. Carey, Stefano Ceri, W. Bruce Croft, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Dieter Gawlick, Jim Gray, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Martin L. Kersten, Michael J. Pazzani, Michael Lesk, David Maier, Jeffrey F. Naughton, Hans-Jörg Schek, Timos K. Sellis, Avi Silberschatz, Michael Stonebraker, Richard T. Snodgrass, Jeffrey D. Ullman, Gerhard Weikum, Jennifer Widom, Stanley B. Zdonik: The Lowell Database Research Self Assessment CoRR cs.DB/0310006: (2003) |
162 | EE | Stefano Ceri, Claudio Gennaro, Stefano Paraboschi, Giuseppe Serazzi: Effective Scheduling of Detached Rules in Active Databases. IEEE Trans. Knowl. Data Eng. 15(1): 2-13 (2003) |
161 | Marco Brambilla, Stefano Ceri, Sara Comai, Piero Fraternali, Ioana Manolescu: Specification and Design of Workflow-Driven Hypertexts. J. Web Eng. 1(2): 163-182 (2003) | |
160 | Maristella Matera, Andrea Maurino, Stefano Ceri, Piero Fraternali: Model-driven design of collaborative Web applications. Softw., Pract. Exper. 33(8): 701-732 (2003) | |
2002 | ||
159 | EE | Angela Bonifati, Daniele Braga, Alessandro Campi, Stefano Ceri: Active XQuery. ICDE 2002: 403- |
158 | EE | Daniele Braga, Alessandro Campi, Stefano Ceri, Mika Klemettinen, Pier Luca Lanzi: A Tool for Extracting XML Association Rules. ICTAI 2002: 57- |
157 | EE | Angela Bonifati, Stefano Ceri, Stefano Paraboschi: Pushing reactive services to XML repositories using active rules. Computer Networks 39(5): 645-660 (2002) |
156 | EE | Marco Brambilla, Stefano Ceri, Sara Comai, Piero Fraternali, Ioana Manolescu: Model-driven Specification of Web Services Composition and Integration with Data-intensive Web Applications. IEEE Data Eng. Bull. 25(4): 53-59 (2002) |
155 | EE | Stefano Ceri, Piero Fraternali, Maristella Matera: Conceptual Modeling of Data-Intensive Web Applications. IEEE Internet Computing 6(4): 20-30 (2002) |
154 | EE | Peter M. G. Apers, Stefano Ceri, Richard T. Snodgrass: Editorial. VLDB J. 11(3): 177-178 (2002) |
2001 | ||
153 | Peter M. G. Apers, Paolo Atzeni, Stefano Ceri, Stefano Paraboschi, Kotagiri Ramamohanarao, Richard T. Snodgrass: VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy Morgan Kaufmann 2001 | |
152 | EE | Angela Bonifati, Stefano Ceri, Stefano Paraboschi: Pushing reactive services to XML repositories using active rules. WWW 2001: 633-641 |
151 | EE | Angela Bonifati, Fabiano Cattaneo, Stefano Ceri, Alfonso Fuggetta, Stefano Paraboschi: Designing data marts for data warehouses. ACM Trans. Softw. Eng. Methodol. 10(4): 452-483 (2001) |
150 | EE | Kenneth A. Ross, Stefano Ceri, Luis Gravano, Per-Åke Larson, Leonid Libkin, Tova Milo: Reminiscences on Influential Papers. SIGMOD Record 30(1): 55-57 (2001) |
149 | EE | Angela Bonifati, Stefano Ceri, Stefano Paraboschi: Active rules for XML: A new paradigm for E-services. VLDB J. 10(1): 39-47 (2001) |
2000 | ||
148 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: XML: Current Developments and Future Challenges for the Database Community. EDBT 2000: 3-17 |
147 | EE | Angela Bonifati, Stefano Ceri, Piero Fraternali, Andrea Maurino: Building Multi-device, Content-Centric Applications Using WebML and the W3I3 Tool Suite. ER (Workshops) 2000: 64-75 |
146 | Stefano Ceri, Sara Comai, Ernesto Damiani, Piero Fraternali, Letizia Tanca: Complex Queries in XML-GL. SAC (2) 2000: 888-893 | |
145 | Angela Bonifati, Stefano Ceri, Stefano Paraboschi: Active Rules for XML: A New Paradigm for E-Services. TES 2000: 77-94 | |
144 | EE | Stefano Ceri, Roberta Cochrane, Jennifer Widom: Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award). VLDB 2000: 254-262 |
143 | EE | Aldo Bongio, Stefano Ceri, Piero Fraternali, Andrea Maurino: Modeling Data Entry and Operations in WebML. WebDB (Informal Proceedings) 2000: 87-92 |
142 | EE | Aldo Bongio, Stefano Ceri, Piero Fraternali, Andrea Maurino: Modeling Data Entry and Operations in WebML. WebDB (Selected Papers) 2000: 201-214 |
141 | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Conceptual Modeling of Workflows. Advances in Object-Oriented Data Modeling 2000: 281-306 | |
140 | EE | Stefano Ceri, Piero Fraternali, Aldo Bongio: Web Modeling Language (WebML): a modeling language for designing Web sites. Computer Networks 33(1-6): 137-157 (2000) |
139 | EE | Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu: SIGMOD Sister Societies. SIGMOD Record 29(1): 4-15 (2000) |
138 | EE | Angela Bonifati, Stefano Ceri: Comparative Analysis of Five XML Query Languages. SIGMOD Record 29(1): 68-79 (2000) |
1999 | ||
137 | Paolo Atzeni, Stefano Ceri, Stefano Paraboschi, Riccardo Torlone: Database Systems - Concepts, Languages and Architectures McGraw-Hill Book Company 1999 | |
136 | EE | Stefano Ceri: Models and Tools for Designing Data-Intensive WEB Applications (Abstract). CoopIS 1999: 3 |
135 | Stefano Ceri: Model and Tools for Design of Data-Intensive Web Applications. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 1 | |
134 | Stefano Ceri, Sara Comai, Piero Fraternali, Stefano Paraboschi, Letizia Tanca, Ernesto Damiani: XML-GL: A Graphical Language for Querying and Restructuring XML Documents. SEBD 1999: 151-165 | |
133 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: Data-Driven, One-To-One Web Site Generation for Data-Intensive Applications. VLDB 1999: 615-626 |
132 | EE | Stefano Ceri, Piero Fraternali, Andrea Maurino, Stefano Paraboschi: One-to-One Personalization of Data-Intensive Web Sites. WebDB (Informal Proceedings) 1999: 1-6 |
131 | EE | Fabio Casati, Stefano Ceri, Stefano Paraboschi, Giuseppe Pozzi: Specification and Implementation of Exceptions in Workflow Management Systems. ACM Trans. Database Syst. 24(3): 405-451 (1999) |
130 | EE | Angela Bonifati, Stefano Ceri: Comparative Analysis of Five XML Query Languages CoRR cs.DB/9912015: (1999) |
129 | EE | Stefano Ceri, Sara Comai, Ernesto Damiani, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: XML-GL: A Graphical Language for Querying and Restructuring XML Documents. Computer Networks 31(11-16): 1171-1187 (1999) |
128 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: Design Principles for Data-Intensive Web Sites. SIGMOD Record 28(1): 84-89 (1999) |
1998 | ||
127 | EE | Rosa Meo, Giuseppe Psaila, Stefano Ceri: A Tightly-Coupled Architecture for Data Mining. ICDE 1998: 316-323 |
126 | George Pavolv, Antonio Liotta, Paola Abbi, Stefano Ceri: CMIS/P++: Extensions to CMIS/P for Increased Expressiveness and Efficiency in the Manipulation of Management Information. INFOCOM 1998: 430-438 | |
125 | EE | Stefano Ceri, Sara Comai, Ernesto Damiani, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: XML-GL: A Graphical Language for Querying and Reshaping XML Documents. QL 1998 |
124 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: The IDEA Web Lab. SIGMOD Conference 1998: 587-589 |
123 | EE | Philip A. Bernstein, Michael L. Brodie, Stefano Ceri, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Jim Gray, Gerald Held, Joseph M. Hellerstein, H. V. Jagadish, Michael Lesk, David Maier, Jeffrey F. Naughton, Hamid Pirahesh, Michael Stonebraker, Jeffrey D. Ullman: The Asilomar Report on Database Research CoRR cs.DB/9811013: (1998) |
122 | EE | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Workflow Evolution. Data Knowl. Eng. 24(3): 211-238 (1998) |
121 | Rosa Meo, Giuseppe Psaila, Stefano Ceri: An Extension to SQL for Mining Association Rules. Data Min. Knowl. Discov. 2(2): 195-224 (1998) | |
120 | Stefano Ceri, Piero Fraternali, Stefano Gevinti, Stefano Paraboschi: Building a Database Design Laboratory on the Internet. IEEE Internet Computing 2(5): 41-48 (1998) | |
119 | EE | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370 (1998) |
118 | EE | Philip A. Bernstein, Michael L. Brodie, Stefano Ceri, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Jim Gray, Gerald Held, Joseph M. Hellerstein, H. V. Jagadish, Michael Lesk, David Maier, Jeffrey F. Naughton, Hamid Pirahesh, Michael Stonebraker, Jeffrey D. Ullman: The Asilomar Report on Database Research. SIGMOD Record 27(4): 74-80 (1998) |
1997 | ||
117 | Stefano Ceri, Piero Fraternali: Designing Database Applications with Objects and Rules: The IDEA Methodology Addison-Wesley 1997 | |
116 | Carlo Zaniolo, Stefano Ceri, Christos Faloutsos, Richard T. Snodgrass, V. S. Subrahmanian, Roberto Zicari: Advanced Database Systems. Morgan Kaufmann 1997 | |
115 | Stefano Ceri, Piero Fraternali: The Story of the IDEA Methodology. CAiSE 1997: 1-17 | |
114 | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Giuseppe Psaila: Sharing Software Tools on the WEB: The IDEA Web Lab. DOOD 1997: 4-19 | |
113 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: The IDEA Tool Set. ICDE 1997: 579 |
112 | Stefano Ceri, Paul W. P. J. Grefen, Gabriel Sanchez: WIDE: A Distributed Architecture for Workflow Management. RIDE 1997: 0- | |
111 | Elena Baralis, Stefano Ceri, Rosa Meo, Giuseppe Psaila, Marco Richeldi: Amore: An Integrated Environment for Database Mining. SEBD 1997: 285-302 | |
110 | Stefano Ceri, Raghu Ramakrishnan: Rules in Data-Based Systems. The Computer Science and Engineering Handbook 1997: 1142-1157 | |
109 | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Debugging and Run-time Monitoring of Active Rules. Journal of Systems Integration 7(3/4): 327-347 (1997) | |
1996 | ||
108 | Jennifer Widom, Stefano Ceri: Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996 | |
107 | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Deriving Active Rules for Workflow Enactment. DEXA 1996: 94-115 | |
106 | EE | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Semantic Workflow Interoperability. EDBT 1996: 443-462 |
105 | EE | Rosa Meo, Giuseppe Psaila, Stefano Ceri: Composite Events in Chimera. EDBT 1996: 56-76 |
104 | EE | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Workflow Evolution. ER 1996: 438-455 |
103 | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Conservative Timestamp Revisited for Materialized View Maintenance in a Data Warehouse. VIEWS 1996: 1-9 | |
102 | EE | Rosa Meo, Giuseppe Psaila, Stefano Ceri: A New SQL-like Operator for Mining Association Rules. VLDB 1996: 122-133 |
101 | Jennifer Widom, Stefano Ceri: Introduction to Active Database Systems Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 1-41 | |
100 | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Active Rule Management in Chimera Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 151-176 | |
99 | Jennifer Widom, Stefano Ceri: Standards and Commercial Systems Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 233-258 | |
98 | Jennifer Widom, Stefano Ceri: Applications of Active Databases Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 259-291 | |
97 | Jennifer Widom, Stefano Ceri: Conclusions and Future Directions Active Database Systems: Triggers and Rules For Advanced Database Processing 1996: 293-302 | |
96 | EE | Stefano Ceri, Raghu Ramakrishnan: Rules in Database Systems. ACM Comput. Surv. 28(1): 109-111 (1996) |
95 | EE | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Modularization Techniques for Active Rules Design. ACM Trans. Database Syst. 21(1): 1-29 (1996) |
94 | Elena Baralis, Stefano Ceri, Piero Fraternali, Stefano Paraboschi: Support Environment for Active Rule Design. J. Intell. Inf. Syst. 7(2): 129-149 (1996) | |
1995 | ||
93 | Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi: Design of Active Rule Applications: Issues and Approaches. DOOD 1995: 1-18 | |
92 | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Run-time Detection of Non-Terminating Active Rule Systems. DOOD 1995: 38-54 | |
91 | EE | Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Conceptual Modelling of WorkFlows. OOER 1995: 341-354 |
90 | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Improving Rule Analysis by Means of Triggering and Activation Graphs. Rules in Database Systems 1995: 165-181 | |
89 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Giuseppe Psaila: The Algres Testbed of CHIMERA: An Active Object-Oriented Database System. SIGMOD Conference 1995: 473 |
88 | EE | Andreas Reuter, Stefano Ceri, Jim Gray, Betty Salzberg, Gerhard Weikum: Databases and Workflow Management: What is it All About? (Panel). VLDB 1995: 632 |
87 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Addendum to "Automatic Generation of Production Rules for Integrity Maintenance". ACM Trans. Database Syst. 20(3): 364 (1995) |
86 | EE | Stefano Ceri, Maurice A. W. Houtsma, Arthur M. Keller, Pierangela Samarati: Independent Updates and Incremental Agreement in Replicated Databases. Distributed and Parallel Databases 3(3): 225-246 (1995) |
1994 | ||
85 | Elena Baralis, Stefano Ceri, Gabriella Monteleone, Stefano Paraboschi: An Intelligent Database System Application: The Design of EMS. ADB 1994: 172-189 | |
84 | EE | Elena Baralis, Stefano Ceri, Stefano Paraboschi: Declarative Specification of Constraint Maintenance. ER 1994: 205-222 |
83 | Stefano Ceri, Rainer Manthey: Chimera: A Model and Language for Active DOOD Systems. East/West Database Workshop 1994: 3-16 | |
82 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422 (1994) |
81 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi: Constraint Management in Chimera. IEEE Data Eng. Bull. 17(2): 4-8 (1994) |
80 | Stefano Ceri, Jennifer Widom: Deriving Incremental Production Rules for Deductive Data. Inf. Syst. 19(6): 467-490 (1994) | |
1993 | ||
79 | Stefano Ceri, Katsumi Tanaka, Shalom Tsur: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings Springer 1993 | |
78 | EE | Philippe De Smedt, Stefano Ceri, Marie-Anne Neimat, Ming-Chien Shan, Rafi Ahmed: Recursive Functions in Iris. ICDE 1993: 145-154 |
77 | Elena Baralis, Stefano Ceri, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 | |
76 | Tommaso Mostardi, Stefano Ceri, Carlo Siciliano: Bitransaction, Relay Races, and their Application to the Management of Replicated Data. SEBD 1993: 199-213 | |
75 | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases. SEBD 1993: 3-16 | |
74 | EE | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: The LOGRES prototype. SIGMOD Conference 1993: 550-551 |
73 | EE | Stefano Ceri, Jennifer Widom: Managing Semantic Heterogeneity with Production Rules and Persistent Queues. VLDB 1993: 108-119 |
72 | Paolo Atzeni, Filippo Cacace, Stefano Ceri, Letizia Tanca: The LOGIDATA+ Model. LOGIDATA+: Deductive Databases with Complex Objects 1993: 20-29 | |
71 | Marco Lugli, Luca Nini, Stefano Ceri: MOOD*: An Architecture for Object Oriented Access to a Relational Data Base. LOGIDATA+: Deductive Databases with Complex Objects 1993: 233-251 | |
70 | Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273 | |
69 | Stefano Ceri, Letizia Tanca: Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases. LOGIDATA+: Deductive Databases with Complex Objects 1993: 7-19 | |
68 | EE | Filippo Cacace, Stefano Ceri, Maurice A. W. Houtsma: A Survey of Parallel Execution Strategies for Transitive Closure and Logic Programs. Distributed and Parallel Databases 1(4): 337-382 (1993) |
67 | EE | Wolfgang Nejdl, Stefano Ceri, Gio Wiederhold: Evaluating Recursive Queries in Distributed Databases. IEEE Trans. Knowl. Data Eng. 5(1): 104-121 (1993) |
1992 | ||
66 | Carlo Batini, Stefano Ceri, Shamkant B. Navathe: Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings 1992 | |
65 | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Integrity Maintenance Systems: An Architecture. DAISD 1992: 327-344 | |
64 | Stefano Ceri, Maurice A. W. Houtsma, Arthur M. Keller, Pierangela Samarati: Achieving Incremental Consistency among Autonomous Replicated Databases. DS-5 1992: 223-237 | |
63 | EE | Stefano Ceri: A Declarative Approach to Active Databases. ICDE 1992: 452-456 |
62 | EE | Stefano Ceri, Jennifer Widom: Production Rules in Parallel and Distributed Database Environments. VLDB 1992: 339-351 |
61 | Stefano Ceri, Maurice A. W. Houtsma, Arthur M. Keller, Pierangela Samarati: The Case for Independent Updates. Workshop on the Management of Replicated Data 1992: 17-19 | |
60 | Gio Wiederhold, Peter Wegner, Stefano Ceri: Toward Megaprogramming. Commun. ACM 35(11): 89-99 (1992) | |
59 | EE | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Constraint Enforcement Through Production Rules: Putting Active Databases at Work. IEEE Data Eng. Bull. 15(1-4): 10-14 (1992) |
58 | EE | Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi: Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. IEEE Trans. Software Eng. 18(6): 534-546 (1992) |
57 | Michael L. Brodie, Stefano Ceri: On Intelligent and Cooperative Information Systems: A Workshop Summary. Int. J. Cooperative Inf. Syst. 2(2): 249-290 (1992) | |
1991 | ||
56 | EE | Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341 |
55 | EE | Maurice A. W. Houtsma, Filippo Cacace, Stefano Ceri: Parallel Hierarchical Evaluation of Tranitive Closure Queries. PDIS 1991: 130-137 |
54 | Roberto Zicari, Stefano Ceri, Letizia Tanca: Interoperability between a Rule-Based Database Language and an Object-Oriented Database Language. RIDE-IMS 1991: 125-135 | |
53 | EE | Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 |
1990 | ||
52 | Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases Springer 1990 | |
51 | Stefano Ceri: Object orientation and logic programming for databases: a season's flirt or long-term marriage? BDA 1990: 295- | |
50 | Stefano Ceri, Filippo Cacace, Letizia Tanca: Object Orientation and Logic Programming for Databases: A Season's Flirt or Long-Term Marriage? East/West Database Workshop 1990: 124-143 | |
49 | EE | Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri: Complex Transitive Closure Queries on a Fragmented Graph. ICDT 1990: 470-484 |
48 | Filippo Cacace, Stefano Ceri, Maurice A. W. Houtsma: An Overview of Parallel Strategies for Transitive Closure on Algebraic Machines. PRISMA Workshop 1990: 44-62 | |
47 | EE | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 |
46 | EE | Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri: Distributed Transitive Closure Computations: The Disconnection Set Approach. VLDB 1990: 335-346 |
45 | EE | Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 |
44 | EE | Stefano Ceri, Letizia Tanca: Expert Design of Local Area Networks. IEEE Expert 5(5): 23-33 (1990) |
43 | Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza: Algres: An Advanced System for Complex Applications. IEEE Software 7(4): 68-78 (1990) | |
42 | F. Gozzi, Marco Lugli, Stefano Ceri: An overview of PRIMO: a portable interface between PROLOG and relational databases. Inf. Syst. 15(5): 543-553 (1990) | |
1989 | ||
41 | EE | Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166 (1989) |
40 | EE | Stefano Ceri, Georg Gottlob, Gio Wiederhold: Efficient Database Access from Prolog. IEEE Trans. Software Eng. 15(2): 153-164 (1989) |
39 | Stefano Ceri, Georg Gottlob, Letizia Tanca, Gio Wiederhold: Magic Semi-Joins. Inf. Process. Lett. 33(2): 97-107 (1989) | |
38 | Stefano Ceri, Barbara Pernici, Gio Wiederhold: Optimization problems and solution methods in the design of data distribution. Inf. Syst. 14(3): 261-272 (1989) | |
1988 | ||
37 | Joachim W. Schmidt, Stefano Ceri, Michele Missikoff: Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988 Springer 1988 | |
36 | EE | Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555 |
35 | Stefano Ceri: Directions in Distributed Databases. GI Jahrestagung (2) 1988: 633-638 | |
34 | EE | Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza: Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. IEEE Trans. Software Eng. 14(11): 1597-1609 (1988) |
1987 | ||
33 | Carlo Batini, Stefano Ceri: A Methodology for Joint Data and Functional Analysis. EMISA 1987: 1-43 | |
32 | EE | Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41 |
1986 | ||
31 | Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223 | |
30 | Stefano Ceri: Requirements Collection and Analysis in Information Systems Design (Invited Paper). IFIP Congress 1986: 205-214 | |
29 | EE | Stefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402 |
28 | EE | Stefano Ceri, Georg Gottlob: Normalization of Relations and PROLOG. Commun. ACM 29(6): 524-544 (1986) |
27 | Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Taxonomy and formal properties of distributed joins. Inf. Syst. 11(1): 25-40 (1986) | |
26 | Stefano Ceri, Georg Gottlob: Optimizing Joins between Two Partitioned Relations in Distributed Databases. J. Parallel Distrib. Comput. 3(2): 183-205 (1986) | |
1985 | ||
25 | EE | Carlo Batini, Stefano Ceri: Database Design: Methodologies, Tools, and Environments (Panel). SIGMOD Conference 1985: 148-150 |
24 | Stefano Ceri, Barbara Pernici: DATAID-D: Methodology for Distributed Database Design. Computer-Aided Database Design: the DATAID approach 1985: 157-183 | |
23 | Stefano Ceri, Georg Gottlob: Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. IEEE Trans. Software Eng. 11(4): 324-345 (1985) | |
22 | Federico Barbic, Stefano Ceri, Giampio Bracchi, P. Mostacci: Modeling and integrating procedures in office information systems design. Inf. Syst. 10(2): 149-168 (1985) | |
1984 | ||
21 | Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems McGraw-Hill Book Company 1984 | |
20 | EE | Shamkant B. Navathe, Stefano Ceri, Gio Wiederhold, Jinglie Dou: Vertical Partitioning Algorithms for Database Design. ACM Trans. Database Syst. 9(4): 680-710 (1984) |
19 | EE | Stefano Ceri, Barbara Pernici, Gio Wiederhold: An Overview of Research in the Design of Distributed Databases. IEEE Database Eng. Bull. 7(4): 46-51 (1984) |
1983 | ||
18 | Stefano Ceri: Methodology and Tools for Data Base Design. North-Holland 1983 | |
17 | EE | Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Joining Fragmented Relations in Distributed Databases. XP4.5 Workshop on Database Theory 1983 |
16 | Stefano Ceri: Methodology and Tools for Data Base Design in the DATAID Project. Methodology and Tools for Data Base Design 1983: 1-8 | |
15 | Giampio Bracchi, Stefano Ceri, Giuseppe Pelagatti: A Set of Integrated Tools for the Conceptual Design of Database Schemas and Transactions. Methodology and Tools for Data Base Design 1983: 181-204 | |
14 | U. Bussolati, Stefano Ceri, Valeria De Antonellis, Bruna Zonta: Views Conceptual Design. Methodology and Tools for Data Base Design 1983: 25-56 | |
13 | EE | Stefano Ceri, Giuseppe Pelagatti: Correctness of Query Execution Strategies in Distributed Databases. ACM Trans. Database Syst. 8(4): 577-607 (1983) |
12 | Stefano Ceri, Shamkant B. Navathe, Gio Wiederhold: Distribution Design of Logical Database Schemas. IEEE Trans. Software Eng. 9(4): 487-504 (1983) | |
1982 | ||
11 | Stefano Ceri, Susan S. Owicki: On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop 1982: 117-129 | |
10 | EE | Stefano Ceri, Mauro Negri, Giuseppe Pelagatti: Horizontal Data Partitioning in Database Design. SIGMOD Conference 1982: 128-136 |
9 | Stefano Ceri, Giancarlo Martella, Giuseppe Pelagatti: Optimal File Allocation in a Computer Network: a Solution Method Based on the Knapsack Problem. Computer Networks 6(5): 345-357 (1982) | |
8 | EE | Stefano Ceri, G. Paolini, Giuseppe Pelagatti, Fabio A. Schreiber: Distributed Database Research at the Politechnico of Milano. IEEE Database Eng. Bull. 5(4): 9-13 (1982) |
7 | Stefano Ceri, Giuseppe Pelagatti: Allocation of Operations in Distributed Database Access. IEEE Trans. Computers 31(2): 119-129 (1982) | |
6 | Stefano Ceri, Giuseppe Pelagatti: A Solution Method for the Non-Additive Resource Allocation Problem in Distributed System Design. Inf. Process. Lett. 15(4): 174-178 (1982) | |
1981 | ||
5 | Stefano Ceri, Giuseppe Pelagatti: An Upper Bound on the Number of Execution Nodes for a Distributed Join. Inf. Process. Lett. 12(1): 46-48 (1981) | |
4 | Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Structured methodology for designing static and dynamic aspects of data base applications. Inf. Syst. 6(1): 31-45 (1981) | |
1980 | ||
3 | Stefano Ceri, Giancarlo Martella, Giuseppe Pelagatti: Optimal File Allocation for a Distributed Data Base on a Network of Minicomputers. ICOD 1980: 216-237 | |
2 | Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language. IFIP Congress 1980: 499-504 | |
1979 | ||
1 | EE | C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Interactive Specification and Formal Verification of User's Views in Data Bases Design. VLDB 1979: 262-272 |