21 relations: Algèbre relationnelle, Base de données, Base de données orientée graphe, Base de données orientée objet, Base de données spatiales, Base de données temporelle, Calcul des prédicats, Consolidation informatique, Datalog, Extensible Markup Language, Graphe conceptuel, Informatique, Langage de requête, Logique, Modèle relationnel, Optimisation de requête, Programmation logique, Système de gestion de base de données, Théorème de Codd, Théorie de la complexité (informatique théorique), Théorie des modèles finis.
Algèbre relationnelle
L'algèbre relationnelle est un langage de requêtes dans des bases de données relationnelles.
Nouveau!!: Théorie des bases de données et Algèbre relationnelle · Voir plus »
Base de données
Une base de données permet de stocker et de retrouver des données structurées, semi-structurées ou des données brutes ou de l'information, souvent en rapport avec un thème ou une activité; celles-ci peuvent être de natures différentes et plus ou moins reliées entre elles.
Nouveau!!: Théorie des bases de données et Base de données · Voir plus »
Base de données orientée graphe
Une base de données orientée graphe est une base de données orientée objet utilisant la théorie des graphes, donc avec des nœuds et des arcs, permettant de représenter et stocker les données.
Nouveau!!: Théorie des bases de données et Base de données orientée graphe · Voir plus »
Base de données orientée objet
En informatique, une base de données à objets (anglais object database) est un stock d'informations groupées sous forme de collections d'objets persistants.
Nouveau!!: Théorie des bases de données et Base de données orientée objet · Voir plus »
Base de données spatiales
Une base de données spatiales est une base de données optimisée pour stocker et interroger des données reliées à des objets référencés géographiquement, y compris des points, les lignes et des polygones.
Nouveau!!: Théorie des bases de données et Base de données spatiales · Voir plus »
Base de données temporelle
Une base de données temporelle est une base de données avec des aspects de temps intégrés, c'est-à-dire un modèle de données temporel et une version temporelle du langage structuré de requêtes (Structured Query Language - SQL).
Nouveau!!: Théorie des bases de données et Base de données temporelle · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Théorie des bases de données et Calcul des prédicats · Voir plus »
Consolidation informatique
La consolidation est en informatique le regroupement cohérent de données.
Nouveau!!: Théorie des bases de données et Consolidation informatique · Voir plus »
Datalog
Datalog est un langage de requête et de règles pour les bases de données déductives.
Nouveau!!: Théorie des bases de données et Datalog · Voir plus »
Extensible Markup Language
LExtensible Markup Language, généralement appelé XMLCe nom est une idée de James Clark, elle est expliquée par dans sa.
Nouveau!!: Théorie des bases de données et Extensible Markup Language · Voir plus »
Graphe conceptuel
Un graphe conceptuel est un formalisme de représentation de connaissances et de raisonnements.
Nouveau!!: Théorie des bases de données et Graphe conceptuel · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Théorie des bases de données et Informatique · Voir plus »
Langage de requête
Un langage de requête, aussi connu comme langage de requête des données (en anglais: data query language; DQL), est un langage informatique utilisé pour accéder aux données d'une base de données ou d'autres systèmes d'information.
Nouveau!!: Théorie des bases de données et Langage de requête · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Théorie des bases de données et Logique · Voir plus »
Modèle relationnel
Le modèle relationnel est une manière de modéliser les relations existantes entre plusieurs informations, et de les ordonner entre elles.
Nouveau!!: Théorie des bases de données et Modèle relationnel · Voir plus »
Optimisation de requête
L'optimisation de requête est une opération dans laquelle plusieurs plans d'exécution d'une requête SQL sont examinés pour en sélectionner le meilleur.
Nouveau!!: Théorie des bases de données et Optimisation de requête · Voir plus »
Programmation logique
La programmation logique est une forme de programmation qui définit les applications à l'aide.
Nouveau!!: Théorie des bases de données et Programmation logique · Voir plus »
Système de gestion de base de données
Un (abr. SGBD) est un logiciel système servant à stocker, à manipuler ou gérer, et à partager des données dans une base de données, en garantissant la qualité, la pérennité et la confidentialité des informations, tout en cachant la complexité des opérations.
Nouveau!!: Théorie des bases de données et Système de gestion de base de données · Voir plus »
Théorème de Codd
En théorie des bases de données, le théorème de Codd affirme l'équivalence entre l'algèbre relationnelle et le calcul relationnel (restreint aux requêtes indépendantes du domaine).
Nouveau!!: Théorie des bases de données et Théorème de Codd · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Théorie des bases de données et Théorie de la complexité (informatique théorique) · Voir plus »
Théorie des modèles finis
La théorie des modèles finis est un sous-domaine de la théorie des modèles.
Nouveau!!: Théorie des bases de données et Théorie des modèles finis · Voir plus »