Voltaire : un environnement de programmation de bases de données avec une exécution unique - Relié
par Sunit Gala (Auteur)
Résumé :
Dans cette thèse, nous présentons Voltaire, un langage de programmation ontologique conçu spécifiquement pour manipuler de grands volumes de données hétérogènes. Il s'agit d'un langage de programmation de bases de données impératif et orienté ensembles, tout en étant fonctionnel par nature. Les expressions d'ensembles du langage sont propices à la programmation intensive en données tout en maintenant une certaine efficacité en épousant le paradigme impératif. Le langage et sa sémantique sont définis de manière modulaire mais additive, ce qui facilite une certaine mesure d'amorçage. Nous soutenons en outre qu'un tel modèle d'implémentation est souhaitable, car il fournit un modèle d'exécution unique pour évaluer les requêtes, satisfaire les contraintes et calculer les fonctions. Le système assure l'application automatique de l'intégrité en mode d'évaluation paresseuse. Les fonctions sont effectivement calculées comme le résultat de l'application de l'intégrité. Cela s'explique par le fait que nous considérons les contraintes comme une séquence de commandes à évaluer ou à satisfaire dans l'ordre spécifié. Il n'y a pas de restrictions arbitraires sur la persistance des valeurs – même les fonctions peuvent avoir une étendue persistante. De plus, le langage de requête intègre des fonctions en donnant accès à l'étendue persistante de la fonction ou en permettant un appel de fonction réel. Le compilateur peut exploiter des techniques algébriques traditionnelles pour l'optimisation des requêtes. La facilité de définition des données (ou type de données) est similaire à ce que l'on pourrait trouver dans la plupart des modèles de données sémantiques et est propice au partage d'enregistrements hétérogènes. Nous avons défini une algèbre de types qui intègre le type, l'étendue et le comportement en fournissant une sémantique extensionnelle pour le comportement. Nous tentons également de définir une sémantique dénotationnelle pour le langage et l'environnement Voltaire. Nous pensons que Voltaire est un langage idéal pour la programmation intensive en données, et qu'il contient les meilleures caractéristiques d'un langage de programmation typé et d'un système de base de données. Dissertation Discovery Company et l'Université de Floride se consacrent à rendre les travaux universitaires plus découvrables et accessibles dans le monde entier. Cette dissertation, "Voltaire: a Database Programming Environment With a Single Execution" de Sunit Gala, a été obtenue auprès de l'Université de Floride et est vendue avec la permission de l'auteur. Une copie numérique de ce travail peut également être trouvée dans le dépôt institutionnel de l'université, IR@UF. Le contenu de cette dissertation n'a été modifié en aucune façon. Nous avons modifié le formatage afin de faciliter l'impression et la lecture de la dissertation.Détails
Ce produit est fabriqué avec des matériaux de qualité pour garantir sa durabilité et ses performances. Conçu pour votre confort, il s'intègre parfaitement à votre quotidien.
Livraison et retours
Nous nous efforçons de traiter et d'expédier toutes les commandes dans les meilleurs délais, en travaillant avec diligence pour que vos articles vous parviennent le plus rapidement possible.
Nous nous engageons à offrir une expérience d'achat positive à tous nos clients. Si, pour une raison quelconque, vous souhaitez retourner un article, nous vous invitons à contacter notre équipe pour obtenir de l'aide. Nous évaluerons chaque demande de retour avec soin et considération.
Découvrir toute la collection