12 de janeiro de 2012

Lógica de Primeira Ordem: Sentenças, Proposições, Conectivos Lógicos, Princípios Fundamentais e Tabelas-Verdade

A lógica formal não se ocupa com os conteúdos pensados ou com os objetos referidos pelo pensamento, mas apenas com a forma pura e geral dos pensamentos, expressa pela linguagem.

(mais…)

Controle de Concorrência em Banco de Dados

Controle de concorrência é um método usado para garantir que as transações sejam executadas de uma forma segura e sigam as regras ACID. Os SGBD devem ser capazes de assegurar que nenhuma ação de transações completadas com sucesso (committed transactions) seja perdida ao desfazer transações abortadas (rollback). (mais…)

Gerenciador de Banco de Dados

Os bancos de dados requerem tipicamente um grande espaço de armazenamento. Os bancos de dados corporativos são medidos geralmente em gigabytes, ou, para os maiores, terabytes de dados. (mais…)

Sistema de Gerenciamento de Banco de Dados Cliente-Servidor

Em sua forma mais simples, um banco de dados cliente servidor (C/S) divide o processamento do banco de dados entre dois sistema: o cliente (geralmente um PC) executando a aplicação do banco de dados, e o servidor do banco de dados que executa todo o DBMS ou parte dele. (mais…)

Salário baixo afasta estudantes do setor de TI

Apesar de componentes como satisfação pessoal, ambiente corporativo e plano de carreira serem fundamentais para a escolha de uma profissão, cada vez mais a disponibilidade de vagas de emprego e o valor dos salários oferecidos se tornam preponderantes para definir as preferências profissionais. No caso das carreiras do setor da Tecnologia da Informação (TI), o que se vê é uma grande oferta de emprego, no entanto não há muitos interessados para suprir a necessidade do mercado. (mais…)