@book{barboza_logica_2004,
	title = {Lógica em bases de dados},
	abstract = {O objetivo deste trabalho é demonstrar como a lógica pode ser utilizada para expressar e resolver alguns problemas fundamentais e para a compreensão de bases de dados, utilizando as ferramentas e os resultados da lógica formal neste contexto [ 11] . Mostraremos que diferentes formalismos de modelagem de dados, tais como o modelo Entidade-Relacionamento e outros modelos de dados orientados a objetos podem ser mapeados e extendidos através de formalismos lógicos. O presente trabalho está organizado de seguinte maneira: no capítulo 2 abordaremos os conceitos básicos envolvidos no assunto de bases de dados. No capítulo 3 falaremos brevemente sobre as lógicas descritivas, que servirão de base para o capítulo 4, onde serão apresentadas algumas propostas de utilização da lógica em bases de dados. O capítulo 5 traz as conclusões do trabalho.},
	author = {Barboza, Alessandra},
	year = {2004},
	note = {bibtex*:BarbozaLogicaembases2004},
	keywords = {lógica descritiva, modelagem de dados, representação de modelo conceitual},
}

{"_id":"Mw5n8sK4BXGEbYdfy","bibbaseid":"barboza-lgicaembasesdedados-2004","author_short":["Barboza, A."],"bibdata":{"bibtype":"book","type":"book","title":"Lógica em bases de dados","abstract":"O objetivo deste trabalho é demonstrar como a lógica pode ser utilizada para expressar e resolver alguns problemas fundamentais e para a compreensão de bases de dados, utilizando as ferramentas e os resultados da lógica formal neste contexto [ 11] . Mostraremos que diferentes formalismos de modelagem de dados, tais como o modelo Entidade-Relacionamento e outros modelos de dados orientados a objetos podem ser mapeados e extendidos através de formalismos lógicos. O presente trabalho está organizado de seguinte maneira: no capítulo 2 abordaremos os conceitos básicos envolvidos no assunto de bases de dados. No capítulo 3 falaremos brevemente sobre as lógicas descritivas, que servirão de base para o capítulo 4, onde serão apresentadas algumas propostas de utilização da lógica em bases de dados. O capítulo 5 traz as conclusões do trabalho.","author":[{"propositions":[],"lastnames":["Barboza"],"firstnames":["Alessandra"],"suffixes":[]}],"year":"2004","note":"bibtex*:BarbozaLogicaembases2004","keywords":"lógica descritiva, modelagem de dados, representação de modelo conceitual","bibtex":"@book{barboza_logica_2004,\n\ttitle = {Lógica em bases de dados},\n\tabstract = {O objetivo deste trabalho é demonstrar como a lógica pode ser utilizada para expressar e resolver alguns problemas fundamentais e para a compreensão de bases de dados, utilizando as ferramentas e os resultados da lógica formal neste contexto [ 11] . Mostraremos que diferentes formalismos de modelagem de dados, tais como o modelo Entidade-Relacionamento e outros modelos de dados orientados a objetos podem ser mapeados e extendidos através de formalismos lógicos. O presente trabalho está organizado de seguinte maneira: no capítulo 2 abordaremos os conceitos básicos envolvidos no assunto de bases de dados. No capítulo 3 falaremos brevemente sobre as lógicas descritivas, que servirão de base para o capítulo 4, onde serão apresentadas algumas propostas de utilização da lógica em bases de dados. O capítulo 5 traz as conclusões do trabalho.},\n\tauthor = {Barboza, Alessandra},\n\tyear = {2004},\n\tnote = {bibtex*:BarbozaLogicaembases2004},\n\tkeywords = {lógica descritiva, modelagem de dados, representação de modelo conceitual},\n}\n\n","author_short":["Barboza, A."],"key":"barboza_logica_2004","id":"barboza_logica_2004","bibbaseid":"barboza-lgicaembasesdedados-2004","role":"author","urls":{},"keyword":["lógica descritiva","modelagem de dados","representação de modelo conceitual"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/brunocpt","dataSources":["9N7FyBLqJ5Q2Suqzs"],"keywords":["lógica descritiva","modelagem de dados","representação de modelo conceitual"],"search_terms":["gica","bases","dados","barboza"],"title":"Lógica em bases de dados","year":2004}