110
Os protocolos de controle de concorrência implementados no EIT utilizam serializabilidade e serializabilidade semântica como critérios de corretude, para garantir a geração de escalonamentos corretos. Serializabilidade já é um critério de corretude utilizado pelos protocolos de controle de concorrência tradicionais, tais como 2PL, TO e SGT, e já é difundido na área de banco de dados desde a década de 70. Porém, esse critério é muito restritivo para um conjunto de cenários onde os dados podem ser considerados grupos disjuntos de objetos. Para esses casos o EIT foi projetado também para trabalhar com serializabilidade semântica.
A especificação formal de como o EIT garante geração de escalonamentos sempre corretos foi apresentada para os critérios de corretude de serializabilidade e serializabilidade semântica. Nessa tese, foi provado formalmente que os escalonamentos gerados pelo EIT são corretos.
Uma outra característica importante do EIT, que o diferencia de todos os outros escalonadores presentes na literatura, é que o EIT foi desenvolvido para sincronizar operações em um ambiente de computação dinâmica, tal como uma MDBC. A utilização do EIT nesse ambiente é importante, pois nesse cenário o acesso aos dados nos sistemas de banco de dados que participam dessa comunidade pode mudar dinamicamente, com a entrada ou saída de algumas unidades móveis
Toda a implementação do EIT foi realizada com a Linguagem Java. Para o módulo Escalonador do EIT foram implementados os protocolos 2PL (conservador) e TO (agressivo) para o critério de corretude de serializabilidade, e o SeL (conservador) e o SeTO (agressivo) para o critério de corretude de serializabilidade semântica. Para simular um ambiente dinâmico de banco de dados, foi implementado um simulador de MDBC, uma vez que não se encontrou na literatura um simulador com as características de uma MDBC e não foi possível a implementação real do ambiente por falta de laboratório apropriado.
O simulador da MDBC teve como objetivo a construção de uma comunidade de banco de dados que é constituída de um conjunto de sistemas de bancos de dados heterogêneos, distribuídos, autônomos e móveis, que podem entrar e sair da rede de forma dinâmica. Nesse simulador, cada unidade móvel pode possuir seu próprio sistema de banco de dados, assim como gerar várias transações móveis sobre o esquema de dados da MDBC que é escalonada pelo EIT.
Os testes apresentados no Capítulo 6 mostraram que o EIT é um escalonador viável para ser utilizado em um ambiente de computação dinâmica, tal como uma MDBC. Em todos os testes realizados o EIT atingiu o seu objetivo, que é de reduzir o tempo de espera causado pelos protocolos de concorrência, mantendo a menor taxa de transações abortadas possível.
Em relação aos trabalhos futuros, a seguir são listados alguns trabalhos que podem ser realizados a partir dessa tese.
A implementação de outros protocolos de concorrência, com critérios de corretude diferentes, além de serializabilidade e serializabilidade semântica, pode ser investigada no EIT. Os critérios de corretude escolhidos para essa versão da tese são suficiente para verificar a viabilidade do EIT, porém outros critérios de corretude podem ser avaliados.
Na versão apresentada nessa tese, o EIT é centralizado, o que funciona bem em uma MDBC pequena. Porém, uma versão distribuída do EIT pode ser investigada para um ambiente móvel com muitas unidades móveis, onde a distribuição do processamento é um fator importante.
O EIT foi implementado para uso geral, não apenas em um ambiente móvel, mas em um ambiente onde o tipo de acesso aos dados possa mudar ao longo do tempo. Uma
CAPÍTULO 7. CONCLUSÃO 111 outra versão do EIT pensando apenas em ambientes móveis poderia ser implementado. Nesse caso, o próprio Analisador poderia usar variáveis de entrada que fossem características de um ambiente móvel, a exemplo de número de desconexões, nível de bateria das unidades móveis, dentre outras.
Os protocolos implementados no EIT são todos pessimistas, com comportamento agressivo ou conservador. Uma proposta do EIT com protocolos otimistas poderia ser implementada.
Nessa versão do EIT os critérios de corretude considerados são fixos, serializabilidade ou serializabilidade semântica. Entretanto, uma análise sobre a mudança de critério de corretude poderia ser realizada. Futuramente, pode-se investigar como seria o processo de transição de um critério de corretude para outro, bem como a construção de um sistema especialista que possa decidir qual o melhor critério de corretude para o escalonador.
Por fim, seria desejável realizar a implementação do EIT em um ambiente real de computação móvel. Todos os testes realizados nesse trabalho foram obtidos a partir de simulações, o que foi considerado suficiente para validar o EIT, porém a sua utilização em ambiente real pode ser considerada como uma proposta para um trabalho futuro.
CAPÍTULO 7. CONCLUSÃO
______________________________________________________________________
Referências Bibliográficas
______________________________________________________________________
[Agrawal 94] AGRAWAL, D.; BRUNO, J. L.; ABBADI, A. E.; KRISHNASWAMY, V. Relative Serializability: An Approach for Relaxing the Atomicity of
Transactions. In: 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of
Database Systems, p.139-149, 1994.
[Akintola 05] AKINTOLA, A.A.; ADEROUNMU, G. A.; OSAKWE, A. U. Performance Modeling of an Enhanced Optimistic Locking Architecture for Concurrency Control in a Distributed Database System. Journal of Research and
Practice in Information Technology, v. 37, n. 4, p. 365-380, nov. 2005.
[Barbará 99] BARBARÁ, D. Mobile Computing and Databases – A survey. IEEE
Transactions on Knowledge and Data Engineering, v. 11, n. 1, p. 108-117, jan./fev.
1999.
[Barghouti 91] BARGHOUTI, N. S.; KAISER, G. E. Concurrency Control in Advanced database Applications. ACM Computing Surveys, v. 23, n. 3, p. 269-317, set. 1991. [Beeri 89] BEERI, C.; BERNSTEIN, P. A.; GOODMAN, N. A model for Concurrency in Nested Transactions Systems. ACM Journal. v. 36, n. 2, p. 230-269, abr. 1989. [Bernstein 81] BERNSTEIN, P. A.;GOODMAN, N. Concurrency Control in Distributed Database Systems. ACM Computing Surveys, v. 13, n. 2, p.185- 221, jun. 1981.
[Bernstein 87] BERNSTEIN, P. A.; HADZILACOS, V.; GOODMAN, N.
Concurrency Control and Recovery in Database Systems. Massachusetts-USA:
Addison-Wesley, 1987. 361 p. ISBN 0-201-10715-5
[Bhargava 89] BRARGAVA, B.; RIEDL, J. A Model for Adaptable Systems for Transaction Processing. IEEE Transactions on Knowledge and Data Enginnering, v. 1, n. 4, p. 433-449, dez. 1989.
[Bhargava 99] BRARGAVA, B. Concurrency Control in Database Systems. IEEE
Transactions on Knowledge and Data Enginnering, v. 11, n.1, p. 3-16, jan/fev 1999.
[Bodlaender 99] BODLAENDER, M. P. Scheduler Optimization in Real-time
distributed databases. Tese de doutorado. Universidade de Tecnologia Eindhven,
REFERÊNCIAS BIBLIOGRÁFICAS
114
[Brasil 94] BRASIL, L. M. Aquisição de Conhecimento Aplicado ao Diagnostico de
Epilepsia. Dissertação de Mestrado. Universidade de Santa Catarina, 1994.
[Brasil 99] BRASIL, L. M. Proposta de Arquitetura para Sistema Especialista
Híbrido e a Correspondente Metodologia de Aquisição do Conhecimento. Tese de
Doutorado. Universidade de Santa Catarina, 1999.
[Brayner 99] BRAYNER, A.; HÄRDER, T.; RITTER, N. Semantic serializability: A correctness criterion for processing transaction in advanced database applications. Data
& knowledge Engineering, v. 1, p. 1-24, abr. 1999.
[Brayner 99a] BRAYNER, A. Transaction Management in Multidatabase Systems. Shaker Verlag, 1999. 191 p. ISBN 3-826-56142-2.
[Brayner 03] BRAYNER, A.; FILHO, J. A. M. Increasing Mobile Transaction
Concurrency in Mobile Database Communities, In: Workshop de Computação Sem
Fio (WCSF), São Paulo, Brasil, out. 2003.
[Brayner 03a] BRAYNER, A.; FILHO, A. M. Sharing Mobile Databases in
Dynamically Configurable Environments, In: LNCS 2681 – Advanced Information
Systems Engineering, 15th International Conference (CAISE), Klagenfurt/Velder, Austria, jun. 2003.
[Brayner 05] BRAYNER, A.; FILHO, J. A. M. Increasing Mobile Transaction
Concurrency in Mobile Database Communities, In: 3rd IEEE Workshop on Mobile
Distributed Computing (MDC), 2005.
[Brayner 06] BRAYNER, A.; FILHO, J. A. M. On Mobile Transaction Processing in Dynamically Configurable Mobile Database Communities. Journal of Parallel,
Emergent and Distributed Systems, v. 21. n. 3. p. 199-213, 2006.
[Breitbart 92] BREITBART, Y.; MOLINA, H. G..; SILBERSCHATZ, A. Overview of Multidatabase Transaction Management. VLDB Journal, v. 1, n. 2, p. 181-239, 1992. [Bright 94] BRIGHT, M. W.; HURSON, A. R. Automated Resolution of Smeantic Heterogeneity in Multidatabases. ACM Transactions Database Systems, v. 19, n.2, 1994
[Canuto 03] CANUTO, A. M. Inteligência Artificial: Uma Visão Introdutória. Univerisdade Federal do rio Grande do Norte, 2003.
[Casanova 81] CASANOVA, M. A. The Concurrency Control Problem of Database
Systems, In: LNCS 116. Springer-Verlag, 1981
[Chadha 04] CHADHA, R.; CHENG, Y.; CHIANG, J.; LEVIN, G.; LI, S.; POLYSHER, A. Policy-based mobile ad hoc network management for DRAMA. In: Military Communications Conference (MILCOM), Monterei, Canadá, nov. 2004.
REFERÊNCIAS BIBLIOGRÁFICAS 115 [Cho 97] CHO, S. H.; LEE, J.; HWANG, C. Hybrid Concurency Control for Mobile
Computing. In: High-Performance Computing on the Information Superhighway
(HPC), Asia 1997.
[Corson 99] CORSON, S; MACKER, J. RFC 2501 - Mobile Ad hoc Networking
(MANET): Routing Protocol Performance Issues and Evaluation Considerations,
1999.
[Dirckze 00] DIRCKZE, R. A; Gruenwald, L. A pre-serialization transaction management technique for mobile multidatabases, Mobile Networks and Applications
(MONET), v. 5, n. 4, p. 311-321, Kluwer Academic, EUA, dez. 2000.
[Du 89] DU, Wein; ELMAGARMID, Ahmed K. Quasi Serializability: a Correctness
Criterion for Global Concurrency Control in InterBase, In: 15th International
Conference on VLDB, Amsterdam, 1989.
[Dualibe 03] DUALIBE, Carlos; VERLEYSEN, Michel; JESPERS, Paul G.A. Design
of Analog Fuzzy Logic Controllers in CMOS Technologies: Implementation, Test and Application. Kluwer Academic Publishers, 2003. 196 p. ISBN: 1-4020-7359-3.
[Dunham 95] DUNHAM, M.; HELAL, A. Mobile Computing and Databases: Anything New?. ACM SIGMOD Record, v. 24, n. 4, p. 5-9, dez. 1995.
[Dunham 97] DUNHAM, M. H.; HELAL, A.; BALAKRISHNAN, S. A mobile transaction model that captures both the data and movement behavior. ACM Mobile
Networks and Applications, v. 2, n. 2, p. 149-162, out.1997.
[Elmasri 00] ELMASRI, R.; NAVATHE, S. B. Fundamentals of Database Systems. Vancouver - Canada: Addison Wesley, 2000. 955 p. ISBN: 0-8053-1755-4.
[Eswaran 76] ESWARAN, K.; GRAY, J.; LORIE, R.; TRAIGER I. The Notions of Consistency and Predicate Locks in a Database System. Communication ACM, v. 9, n. 11, p. 624-633, nov.1976.
[Farrag 89] FARRAG, A. A.; ÖZSU, M. T. Using Semantic Knowledge of Transactions to Increase Concurrency. ACM Transaction on Database Systems. v. 14, n. 4, p. 503- 525, dez. 1989.
[Fife 03] FIFE, L. D.; GRUENWALD, L. Research Issues Data Communication in Mobile Ad-hoc Network Database Systems. ACM SIGMOD Record, v. 32, n. 2, p. 42- 47, jun. 2003.
[Gast 02] GAST, M. 802.11 Wireless Networks: The Definitive Guide, O’Reilly, 2002, 464 p. ISBN 0-596-00183-5.
[Georgakopoulos 93] GEORGAKOPOULOS, D.; RUSINKIEWICZ, M.; SHETH, A. Using Tickets to Enforce the serializability of Multidatabase Transactions. IEEE
REFERÊNCIAS BIBLIOGRÁFICAS
116
[Gottlob 90] GOTTLOB, G.; NEJDL, W. Expert Systems in Engineering, Principles
and Applications. In: International Workshop, Vienna, Austria, September 24-26,
1990, Proceedings. Lecture Notes in Computer Science 462 Springer 1990, ISBN 3- 540-53104-1.
[Gray 81] GRAY, J. The Transaction Concept: Virtues and Limitations. In: 7th International Conference Very Large Data Bases (VLDB), Cannes, França, set. 1981. [Gruenwald 01] GRUENWALD, L.; BANIK, S. A Power-Aware Technique to
Manage Real-Time Database Transactions in Mobile Ad-Hoc Networks, In: 4th
International Workshop on Mobility in Database and Distributed Systems, parte do International Conference on Database and EXpert systems Applications (DEXA), Munich, Alemanha, set. 2001.
[Gruenwald 06] GRUENWALD, L.; BERNEDO, P.; PADMANABHAN, P.
PETRANET: a Power Efficient Transaction management technique for Real-time mobile Ad-hoc NETwork databases. In: 22nd International Conference on Data
Engineering (ICDE), Atlanta, EUA, abr. 2006.
[Halici 91] HALICI, U.; DOGAC, A. An Optimistic Locking Technique for Concurrency Control in Distributed Databases. IEEE Transactions on Software
Engineering, v. 17, n.7, p. 712-724, 1991.
[Härder 83] HÄRDER, T.; REUTER, A. Principles of Transaction-Oriented Database Recovery. ACM Computing Surveys, v. 15, n.4 p. 287-317, 1983.
[Härder 93] HÄRDER, T.; ROTHERMEL, K. Concurrency Control Issues in Nested
Transactions. In: The VLDB Journal, v. 2, n.1 pp. 39-74, 1993.
[Holanda 04] HOLANDA, M.; BRAYNER, A.; FIALHO, S. Gerenciamento de
Transações em Ambientes Móveis. In: 6th Workshop de Computação Sem Fio,
Fortaleza, 2004
[Holanda 06] HOLANDA, M.; BRAYNER, A.; FIALHO, S. EIT – Escalonador
Inteligente de Transações. In: 21th Simpósio Brasileiro de Banco de Dados,
Florianópolis, out. 2006.
[Haritsa 92] HARITSA, J. R.; CAREY, M. J.; LIVNY, M. Data Access Schedulig in Firm Real-Time Database Systems. The Journal of Real-Time Systems, v. 4, p. 203- 241, Kluwer Academic Publishers. 1992.
[Huang 05] HUANG, E.; HU, W.; CROWCROFT, J.; WASSELL, I. Towards
commercial mobile ad hoc network applications: a radio dispatch system. In: 6th
ACM International Symposium on Mobile ad hoc networking and computing (MobiHoc). Illinois, Estados Unidos, maio 2005.
[Jain 98] JAIN, L. C; MARTIN, N. M. Fusion of Neural Networks, Fuzzy Systems
and Genetic Algorithms: Industrial Applications. Estados Unidos:CRC Press, 1998,
REFERÊNCIAS BIBLIOGRÁFICAS 117 [Krishnamoorthy 96] KRISHNAMOORTHY, C. S; RAJEEV, S. Artificial Intelligence
and Expert Systems for Engineers. Estados Unidos: CRC Press, 1996, 320 p, ISBN
0849391253.
[Kung 81] KUNG, H. T.; ROBINSON, J. T. Optimistic concurrency control. ACM
Transactions on Database Systems, v. 6, n. 2, p. 213-226, jun. 1981.
[Lamport 78] LAMPORT, L. Time, clocks, and ordering of events in a distributed systems. Communication ACM, v. 21, p. 558-564, jul. 1978.
[Lausen 82] LAUSEN, G. Concurrency Control in database systems: a step towards
the integration of optimistic methods and locking. In: ACM Annual Conference, out.
1982.
[Lawrence 98] LAWRENCE, R. Ad hoc Mobile Networking and General Mobility
Issues. Technical Report, Universidade de Manitoba. Disponível em:
http://people.ok.ubc.ca/rlawrenc/research/Papers/ad_hoc.pdf, Maio de 1998.
[Lee 94] LEE, J. Concurrency Control Algorithms for Real-Time Database
Systems. Tese de Doutorado. Universidade de Virginia . Janeiro 1994.
[Liebowitz 97] LIEBOWITZ, J. The Handbook of Applied Expert Systems. USA: CRC Press, 1997. 736p. ISBN: 0-849-33106-4.
[Lim 02] LIM, J. B.; HURSON, A. R. Transaction processing in Mobile, Heterogeneous Database Systems. IEEE Transactions on Knowledge and Data Engineering, v. 14, n. 6, p. 1330-1346, nov./dez. 2002.
[Lindström 99] LINDSTRÖM, J.; RAATIKAINEN, K. Dynamic Adjustment of
Serialization Order Using Timestamp Intervals in Real-time Databases. In: 6th
International Conference on Real-time Computing Systems and Applications (RTCSA). Pg.13-21, dez, Hong Kong, China, 1999.
[Lindström 00] LINDSTRÖM, J. Extensions to optimistic concurrency control with
time intervals. In: 7th International Conference on Real-time Computing Systems and
Applications (RTCSA), Cheju, Korea, 2000.
[Madria 98] MADRIA, S. K.; BHARGAVA, B. A Transaction Model for Mobile
Computing. In: International Database Engineering and Applications Symposium
(IDEAS), Reino Unido, jul.1998.
[Mcneill 94] MCNEILL, F. M.; THRO, E. Fuzzy Logic: a practical approach. USA: AP Professional, 1994 292 p. ISBN: 0-1248-5965-8.
[Mehrotra 91] MEHROTA, S.; RASTOGI, R.; KORTH, H. F.; SILBERSCHATZ, A.
Non-Serializable Executions in Heterogeneous Distributed Database Systems, In:
Proceedings of the First International Conference on Parallel and Distributed Information Systems, Flórida, Estados Unidos, dez. 1991.
REFERÊNCIAS BIBLIOGRÁFICAS
118
[Mehrotra 01] MEHROTA, S.; RASTOGI, R.; BREITBART, Y.; KORTH, H. F.; SILBERSCHATZ, A. Overcoming heterogeneity and autonomy in multidatadase systems. Information and Computation. v. 167, n.2, p. 132-172, jun. 2001.
[Mendel 95] MENDEL, Jerry M. Fuzzy Logic Systems for Engineering: A Tutorial. Proceeding of the IEEE, v. 83, n. 1, mar. 1995.
[Merrit 89] MERRIT, D. Building Expert Systems in Prolog, Lebanon, OH – USA: Editora Springer- Verlag, 1989. 358 p. ISBN 0-387-97016-9
[Miller 01] MILLER, M. Descobrindo Bluethoth, Rio de Janeiro: Editora Campus, 2001. 289 p. 85-352-0875-5.
[Molina 83] MOLINA, H. G. Using Semantic Knowledge for Transaction Processing in a Distributed database. ACM Transactions on Database Systems, v. 8, n. 2, p. 186 – 213, jun. 1983.
[Molina 87] MOLINA, H. Garcia. Sagas. In: International Conference on Management of Data, California, USA, 1987.
[Molina 01] MOLINA, H. Garcia; ULLMAN, Jeffrey D.; WIDOM, Jennifer.
Implementação de Sistemas de Banco de Dados, Rio de Janeiro: Editora Campus,
2001, 685 p. ISBN: 85-352-0749-X.
[Moss 85] MOSS, J. E.B. Nested transactions: an approach to reliable distributed
computing. Massachusetts, Estados Unidos: The MIT Press, 1985 160p. ISBN: 0-262-
13200-1.
[Motorola 92] MOTOROLA INC. Fuzzy Logic Education Program. Center for Emerging Computer Technologies, 1992.
[NRC – IIT 06] NRC – IIT, Instituto de Tecnologia da Informação do Conselho Nacional de Pesquisa do Canadá. FuzzyJ ToolKit http://www.iit.nrc.ca/IR_public/fuzzy/fuzzyJToolkit2.html. Acessado em set./2006. [Ohrtman 03] OHRTMAN, F.; ROEDER, K. Wi-Fi Handbook-Building 802.11b
Wireless Networks. McGraw-Hill, 2003. 363 p. ISBN:0071412514.
[Özsu 01] ÖZSU, M. T.; VALDURIEZ, P. Princípios de Sistemas de Bancos de
Dados Distribuídos, Rio de Janeiro: Editora Campus, 2001. Tradução da 2ª Edição
Americana, 771 p. ISBN: 8535207139.
[Papadimitriou 79] PAPADIMITRIOU, C. H. The serializability of concurrent database updates. Journal of the ACM, v.26, n.4, p. 531-653, 1979.
[Pereira 04] PEREIRA, I. C.M. Análise do Roteamento em Redes Móveis Ad Hoc em
Cenários de Operações Militares. Dissertação de Mestrado. Universidade Federal do
REFERÊNCIAS BIBLIOGRÁFICAS 119 [Pons 88] PONS, J. F.; VILAREM, J. F. Mixed concurrency control: Dealing with
heterogeneity in distributed database systems. In: 14th Very Large Database (VLDB)
Conference, California, Estados Unidos, ago.1988.
[Pu 88] PU C.; KAISER, G.; HUTCHINSON, N. Split-Transactions for open-ended
activities. In: 14th Very Large Database Conference (VLDB), California, Estados Unidos, ago.1988.
[Rakotonirainy 98] RAKOTONIRAINY, A. Adaptable Transaction Consistency for
Mobile Environments. In: 9th International Conference and Workshop on Database
and Expert Systems Applications (DEXA), Austria, ago.1998.
[Reed 83] REED, D. P. Implementing Atomic Actions on Decentralized Data. ACM
Transactions on Computer Systems (TOCS), v. 1, n. 1, p. 3 – 23, fev 1983.
[RFC 2501] MACKER, J.; CORSON, P. RFC 2501 - Mobile Ad hoc Networking
(MANET): Routing Protocol Performance Issues and Evaluation Considerations.
1999.
[Rojas 03] ROJAS, J. C. C. Sistema Especialista Híbrido de Apoio a Decisão de uma
Equipe Clinico Cirúrgica na Definição de Conduta Terapêutica em Pacientes Coronariopatas. Dissertação de Mestrado. Universidade Federal da Paraíba, 2003.
[Saha 04] SAHA, A. K.; JOHNSON, D. B. Modeling mobility for vehicular ad-hoc
networks. In: International Conference on Mobile Computing and Networking
Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks, ACM Press, Filadelfia, Estados Unidos, 2004.
[Shaw 99] SHAW, I. S.; SIMÕES, M. G. Controle e Modelagem Fuzzy. São Paulo: Editora Edgard Blucher, 1999. 165 p. ISBN: 85-212-0248-2.
[Salem 94] SALEM, K.; MOLINA, H. Garcia; SHANDS, J. Altruistic Locking. ACM
Transactions on Database Systems, v. 19, n. 1 p. 117-165, mar. 1994.
[Segun 01] SEGUN, K.; HURSON, A. R.; DESAI, V.; SPINK, A.; MILLER, L.L. Transaction Management in a Mobile Data Access System, Annual Review of Scalable
Computing, v. 3, p. 85-147, 2001.
[Shelth 86] SHELTH, A. P.; LIU, M. T. Integrating locking and optimistic
concurrency control in distributed database systems. In: 6th International Conference
Distributed Computing Systems (ICDCS), Massachusetts, Estados Unidos, maio 1986. [Silberschatz 99] SILBERSCHATZ, A.; KORTH, H. F.; SUDARSHAN, S. Sistema de
Banco de Dados, São Paulo — BR : Editora Makron Books, 1999. 778 p. ISBN: 85-
346-1073-8.
[Tanenbaum 03] TANENBAUM, A. S. Redes de Computadores, Rio de Janeiro: Editora Campus, 2003. 955 p. ISBN: 85-352-1185-3.
REFERÊNCIAS BIBLIOGRÁFICAS
120
[Walborn 95] WALBORN, G.; CHRYSANTHIS, P. Supporting Semantics-Based
Transaction Processing in Mobile Database Applications. In: 14th Symposium of
Reliable Distributed Systems, Alemanha, set. 1995.
[Walborn 97] WALBORN, G.; CHRYSANTHIS, P. PRO-MOTION: Management of
Mobile Transactions. In: ACM Symposium on Applied computing, California, Estados
Unidos, 1997.
[Walborn 99] WALBORN, G.; CHRYSANTHIS, P. Transaction Processing in PRO-
MOTION. In: ACM Symposium on Applied Computing (SAC’99), San Antonio,
Texas, USA, fev. 1999.
[Widman 98] WIDMAN, L. E. Sistemas Especialistas em Medicina. Informática
Médica, v. 1, n. 5, 1998.
[Yeo 94] YEO, L. H.; ZASLAVSKY, A. Layered Approach to Transaction
Management in Multidatabase Systems, In: 5th International Hong Kong Computer
Society Database Workshop: Next Generation Database Systems, Hong Kong, Japão, fev. 1994.
[Ying 00] YING, H. Fuzzy Control and Modeling: analytical foundations and
applications, NY – USA: IEEE Press, 2000. 342 p. ISBN 0-7803-3497-3.
[Zadeh 65] ZADEH, L. A. Fuzzy Set. Information and Control, v. 8, n. 1, p. 338-353, 1965.
[Zadeh 91] ZADEH, L. A. The Birth and Evolution of Fuzzy Logic. International
Journal of General Systems v.17, p. 95-105, 1991.
[Zhang 01] ZANG, A.; NODINE, M.; BHARGAVA, B. Global Scheduling for flexible Transactions in Heterogeneous Distributed Database Systems. IEEE Transactions on