| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Marco A. Casanova Melissa Lemos , Luiz Fernando Bessa Seibel , Marco A. Casanova: BioNotes: A System for Biosequence Annotation. DEXA Workshops 2003 : 16-20 Vânia Maria Ponte Vidal , Marco A. Casanova: Efficient Maintenance of XML Views Using View Correspondence Assertions. EC-Web 2003 : 281-291 Fábio Meira de Oliveira Dias , Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho : Workflow Execution in Disconnected Environments. SBBD 2003 : 229-239 Vânia Maria Ponte Vidal , Marco A. Casanova, Valdiana da Silva Araujo : Generating rules for incremental maintenance of XML view of relational data. WIDM 2003 : 139-146 Lucimar C. Martins , Tatiana A. S. Coelho , Simone Diniz Junqueira Barbosa , Marco A. Casanova, Carlos José Pereira de Lucena : A Framework for Filtering and Packaging Hypermedia Documents. AH 2002 : 274-283 Altigran Soares da Silva , Alberto H. F. Laender , Marco A. Casanova: On the relational representation of complex specialization structures. Inf. Syst. 25 (6-7): 399-415 (2000) Maurício R. Mediano , Marco A. Casanova, Marcelo Gattass : TDA - Um Método para Indexar Topologicamente Atributos Espaciais. SBBD 1999 : 269-283 Gilberto Câmara , Marco A. Casanova, Ubirajara Moura de Freitas , João Pedro Cerveira Cardeiro , Lauro Hara : A Presentation Language for GIS Cadastral Data. ACM-GIS 1996 : 139-146 Altigran Soares da Silva , Alberto H. F. Laender , Marco A. Casanova: An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1996 : 292-308 Luiz Fernando G. Soares , Noemi de La Rocque Rodriguez , Marco A. Casanova: Nested Composite Nodes and Version Control in an Open Hypermedia System. Inf. Syst. 20 (6): 501-519 (1995) Claudia Bauzer Medeiros , Marco A. Casanova, Gilberto Câmara : The DOMUS Project - Building on OODB GIS for Environmental Control. IGIS 1994 : 45-54 Alberto H. F. Laender , Donal J. Flynn , Marco A. Casanova: On the Mapping of NIAM Schemas into SQL. ORM 1994 : 89-102 Maurìcio R. Mediano , Marco A. Casanova, Marcelo Dreux : V-Trees - A Storage Method for Long Vector Data. VLDB 1994 : 321-330 Alberto H. F. Laender , Marco A. Casanova, A. P. de Carvalho , L. F. G. G. M. Ridolfi : An analysis of SQL integrity constraints from an entity-relationship model perspective. Inf. Syst. 19 (4): 331-358 (1994) Andrea S. Hemerly , Antonio L. Furtado , Marco A. Casanova: Towards Cooperativeness in Geographic Databases. DEXA 1993 : 373-376 Marco A. Casanova, Luiz Tucherman , Alberto H. F. Laender : On the Design and Maintenance of Optimized Relational Representations of Entity-Relationship Schemas. Data Knowl. Eng. 11 (1): 1-20 (1993) Andrea S. Hemerly , Marco A. Casanova, Antonio L. Furtado : Avoiding Misconstruals in Database Systems: A Default Logic Approach. IEEE Trans. Knowl. Data Eng. 5 (6): 994-996 (1993) Marco A. Casanova, Andrea S. Hemerly , Antonio L. Furtado : A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992 : 589-611 Andrea S. Hemerly , Marco A. Casanova, Antonio L. Furtado : Cooperative Behavior Through Request Modification. ER 1991 : 607-621 Marco A. Casanova, A. P. de Carvalho , L. F. G. G. M. Ridolfi , Alberto H. F. Laender : An Analysis of Table Constraints in SQL2 Based on the Entity-Relationship Model. ER 1991 : 623-641 Marco A. Casanova, Luiz Tucherman , Maria Julia D. Lima , Jose L. Rangel Netto , Noemi de La Rocque Rodriguez , Luiz Fernando G. Soares : The Nested Context Model for Hyperdocuments. Hypertext 1991 : 193-201 Marco A. Casanova, Andrea S. Hemerly , Ramiro A. de T. Guerreiro : Explaining SLDNF Resolution with Non-Normal Defaults. ICLP 1991 : 18-31 Marco A. Casanova, Antonio L. Furtado , L. Tuckerman : A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16 (2): 209-234 (1991) Ramiro A. de T. Guerreiro , Marco A. Casanova, Andrea S. Hemerly : Contributions to a Proof Theory for Generic Defaults. ECAI 1990 : 213-218 Antonio L. Furtado , Marco A. Casanova: Plan and Schedule Generation over Temporal Databases. ER 1990 : 235-248 Marco A. Casanova, Luiz Tucherman , Alberto H. F. Laender : Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1990 : 361-374 Luiz Tucherman , Marco A. Casanova, Antonio L. Furtado : The CHRIS consultant-a tool for database design and rapid prototyping. Inf. Syst. 15 (2): 187-195 (1990) Luiz Tucherman , Marco A. Casanova, Pedro M. Gualandi , Anelise P. Braga : A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Enity-Relationship Model. ER 1989 : 27-41 Marco A. Casanova, Ramiro A. de T. Guerreiro , Andrea Silva : Logic Programming with General Clauses and Defaults Based on Model Elimination. IJCAI 1989 : 395-400 Marco A. Casanova, Ramiro A. de T. Guerreiro , Andrea Silva : Computing Answers to Logic Programs with Weak Model Elimination. NACLP 1989 : 92-114 Marco A. Casanova, Luiz Tucherman , Antonio L. Furtado , Anelise P. Braga : Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989 : 317-325 Marco A. Casanova, Luiz Tucherman , Antonio L. Furtado : Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988 : 38-49 Marco A. Casanova, Antonio L. Furtado : String Pattern-Matching in Prolog. Comput. Lang. 13 (3/4): 149-170 (1988) Antonio L. Furtado , Marco A. Casanova, Luiz Tucherman : The CHRIS Consultant. ER 1987 : 515-532 Antonio L. Furtado , Marco A. Casanova, Luiz Tucherman : Transforming Constraints into Logic Programs: A Case Study. DS-2 1986 : 137-149 Antonio L. Furtado , Marco A. Casanova, Luiz Tucherman : A Framework for Design/Redesign Experts. Expert Database Conf. 1986 : 423-438 Marco A. Casanova, C. M. O. Moura : Designing Database Applications in Logic Programming. IFIP Congress 1986 : 235-240 Marco A. Casanova, Arnaldo V. Moura , Luiz Tucherman : On the Correctness of a Local Storage Subsystem. PODS 1985 : 123-134 Luiz Tucherman , Antonio L. Furtado , Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985 : 436-447 Antonio L. Furtado , Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985 : 127-142 Marco A. Casanova, Paulo A. S. Veloso , Antonio L. Furtado : Formal Data Base Specification - An Eclectic Perspective. PODS 1984 : 110-118 Marco A. Casanova, Jose E. Amaral de Sa : Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design. IBM Journal of Research and Development 28 (1): 82-94 (1984) Ulrich Schiel , Antonio L. Furtado , Erich J. Neuhold , Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9 (1): 43-57 (1984) 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) Marco A. Casanova, Jose E. Amaral de Sa : Designing Entity-Relationship Schemes for Conventional Information Systems. ER 1983 : 265-277 Antonio L. Furtado , Paulo A. S. Veloso , Marco A. Casanova: A Grammatical Approach to Data Bases. IFIP Congress 1983 : 705-710 Marco A. Casanova, Vânia Maria Ponte Vidal : Towards a Sound View Integration Methodology. PODS 1983 : 36-47 Luiz Tucherman , Antonio L. Furtado , Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983 : 219-231 Marco A. Casanova: The Theory of Functional and Subset Dependencies Over Relational Expressions. Inf. Process. Lett. 16 (3): 153-160 (1983) Marco A. Casanova, Antonio L. Furtado : On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982 : 211-236 Marco A. Casanova, Ronald Fagin , Christos H. Papadimitriou : Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982 : 171-176 Marco A. Casanova: A Theory of Data Dependencies over Relational Expressions. PODS 1982 : 189-198 José Mauro V. de Castilho , Marco A. Casanova, Antonio L. Furtado : A Temporal Framework for Database Specifications. VLDB 1982 : 280-291 Marco A. Casanova: The Concurrency Control Problem for Database Systems Springer 1981 Marco A. Casanova, Philip A. Bernstein : General Purpose Schedulers for Database System. Acta Inf. 15 : 471 (1981) Philip A. Bernstein , Marco A. Casanova, Nathan Goodman : Errors in 'Process Synchronization in Database Systems'. SIGMOD Record 11 (1): 9-29 (1981) Marco A. Casanova, Philip A. Bernstein : A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2 (3): 386-414 (1980) Marco A. Casanova, Philip A. Bernstein : General Purpose Schedulers for Database Systems. Acta Inf. 14 : 195-220 (1980) Marco A. Casanova, Philip A. Bernstein : The Logic of a Relational Data Manipulation Language. POPL 1979 : 101-109 Philip A. Bernstein , Marco A. Casanova, Nathan Goodman : Comments on "Process Synchronization in Database Systems". ACM Trans. Database Syst. 4 (4): 545-546 (1979) 1 [ 57 ] 2 [ 56 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] 4 [ 30 ] [ 33 ] 5 [ 50 ] [ 53 ] 6 [ 53 ] 7 [ 41 ] [ 47 ] 8 [ 58 ] 9 [ 8 ] 10 [ 56 ] 11 [ 58 ] 12 [ 48 ] 13 [ 10 ] [ 17 ] 14 [ 49 ] 15 [ 53 ] 16 [ 8 ] [ 11 ] [ 13 ] [ 15 ] [ 18 ] [ 20 ] [ 21 ] [ 22 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 34 ] [ 36 ] [ 38 ] [ 42 ] [ 43 ] [ 44 ] [ 46 ] 17 [ 54 ] 18 [ 1 ] [ 5 ] 19 [ 33 ] 20 [ 31 ] [ 32 ] [ 37 ] [ 39 ] 21 [ 53 ] 22 [ 37 ] [ 39 ] [ 42 ] [ 43 ] [ 44 ] [ 46 ] 23 [ 35 ] [ 41 ] [ 45 ] [ 47 ] [ 49 ] [ 52 ] [ 55 ] 24 [ 60 ] 25 [ 40 ] 26 [ 56 ] 27 [ 56 ] 28 [ 50 ] 29 [ 48 ] 30 [ 54 ] 31 [ 23 ] 32 [ 24 ] 33 [ 40 ] 34 [ 18 ] 35 [ 10 ] [ 17 ] 36 [ 41 ] [ 47 ] 37 [ 40 ] [ 51 ] 38 [ 16 ] [ 19 ] 39 [ 18 ] 40 [ 60 ] 41 [ 52 ] [ 55 ] 42 [ 31 ] [ 32 ] 43 [ 40 ] [ 51 ] 44 [ 13 ] [ 22 ] [ 23 ] [ 25 ] [ 26 ] [ 27 ] [ 29 ] [ 30 ] [ 33 ] [ 34 ] [ 35 ] [ 40 ] [ 45 ] 45 [ 38 ] 46 [ 15 ] [ 20 ] 47 [ 14 ] [ 57 ] [ 59 ]  ©2004 Association for Computing Machinery |
