Computer Technologies in Logic Education

Author(s):  
Yefim Kats

The recent truly revolutionary changes in information technology triggered the rapid proliferation of educational software supporting introductory as well as advanced college-level logic courses. At the same time, many commercial software packages represent a more or less explicit implementation of logic-based programming paradigm. For example, sequential query language (SQL), designed for such popular database management products as Microsoft Access, Microsoft SQL Server, Oracle, and free- source MySQL, is based on logical query language called relational calculus. From this perspective, it seems not only desirable, but also imperative to introduce carefully selected industrial software packages into the standard Logic and Critical Thinking courses, thus, explicitly linking logical theory with existing as well as emerging applications in information technology. Some of such applications would include database systems, data mining, logic programming, and Web ontologies, among others. Artificial intelligence is still another multidisciplinary area where logic plays an especially prominent role. In this paper, we intend to show how logic-based industrial software can be used in conjunction with specialized as well as broad-based logic courses.

2021 ◽  
Vol 19 ◽  
pp. 151-158
Author(s):  
Piotr Rymarski ◽  
Grzegorz Kozieł

Most of today's web applications run on relational database systems. Communication with them is possible through statements written in Structured Query Language (SQL). This paper presents the most popular relational database management systems and describes common ways to optimize SQL queries. Using the research environment based on fragment of the imdb.com database, implementing OracleDb, MySQL, Microsoft SQL Server and PostgreSQL engines, a number of test scenarios were performed. The aim was to check the performance changes of SQL queries resulting from syntax modication while maintaining the result, the impact of database organization, indexing and advanced mechanisms aimed at increasing the eciency of operations performed, delivered in the systems used. The tests were carried out using a proprietary application written in Java using the Hibernate framework.


Author(s):  
Fredi Edgardo Palominos ◽  
Felisa Córdova ◽  
Claudia Durán ◽  
Bryan Nuñez

OLAP and multidimensional database technology have contributed significantly to speed up and build confidence in the effectiveness of methodologies based on the use of management indicators in decision-making, industry, production, and services. Although there are a wide variety of tools related to the OLAP approach, many implementations are performed in relational database systems (R-OLAP). So, all interrogation actions are performed through queries that must be reinterpreted in the SQL language. This translation has several consequences because SQL language is based on a mixture of relational algebra and tuple relational calculus, which conceptually responds to the logic of the relational data model, very different from the needs of the multidimensional databases. This paper presents a multidimensional query language that allows expressing multidimensional queries directly over ROLAP databases. The implementation of the multidimensional query language will be done through a middleware that is responsible for mapping the queries, hiding the translation to a layer of software not noticeable to the end-user. Currently, progress has been made in the definition of a language where through a key statement, called aggregate, it is possible to execute the typical multidimensional operators which represent an important part of the most frequent operations in this type of database.


2021 ◽  
Vol 8 (1) ◽  
Author(s):  
Peter Baumann ◽  
Dimitar Misev ◽  
Vlad Merticariu ◽  
Bang Pham Huu

AbstractMulti-dimensional arrays (also known as raster data or gridded data) play a key role in many, if not all science and engineering domains where they typically represent spatio-temporal sensor, image, simulation output, or statistics “datacubes”. As classic database technology does not support arrays adequately, such data today are maintained mostly in silo solutions, with architectures that tend to erode and not keep up with the increasing requirements on performance and service quality. Array Database systems attempt to close this gap by providing declarative query support for flexible ad-hoc analytics on large n-D arrays, similar to what SQL offers on set-oriented data, XQuery on hierarchical data, and SPARQL and CIPHER on graph data. Today, Petascale Array Database installations exist, employing massive parallelism and distributed processing. Hence, questions arise about technology and standards available, usability, and overall maturity. Several papers have compared models and formalisms, and benchmarks have been undertaken as well, typically comparing two systems against each other. While each of these represent valuable research to the best of our knowledge there is no comprehensive survey combining model, query language, architecture, and practical usability, and performance aspects. The size of this comparison differentiates our study as well with 19 systems compared, four benchmarked to an extent and depth clearly exceeding previous papers in the field; for example, subsetting tests were designed in a way that systems cannot be tuned to specifically these queries. It is hoped that this gives a representative overview to all who want to immerse into the field as well as a clear guidance to those who need to choose the best suited datacube tool for their application. This article presents results of the Research Data Alliance (RDA) Array Database Assessment Working Group (ADA:WG), a subgroup of the Big Data Interest Group. It has elicited the state of the art in Array Databases, technically supported by IEEE GRSS and CODATA Germany, to answer the question: how can data scientists and engineers benefit from Array Database technology? As it turns out, Array Databases can offer significant advantages in terms of flexibility, functionality, extensibility, as well as performance and scalability—in total, the database approach of offering “datacubes” analysis-ready heralds a new level of service quality. Investigation shows that there is a lively ecosystem of technology with increasing uptake, and proven array analytics standards are in place. Consequently, such approaches have to be considered a serious option for datacube services in science, engineering and beyond. Tools, though, vary greatly in functionality and performance as it turns out.


Author(s):  
Omoruyi Osemwegie ◽  
Kennedy Okokpujie ◽  
Nsikan Nkordeh ◽  
Charles Ndujiuba ◽  
Samuel John ◽  
...  

<p>Increasing requirements for scalability and elasticity of data storage for web applications has made Not Structured Query Language NoSQL databases more invaluable to web developers. One of such NoSQL Database solutions is Redis. A budding alternative to Redis database is the SSDB database, which is also a key-value store but is disk-based. The aim of this research work is to benchmark both databases (Redis and SSDB) using the Yahoo Cloud Serving Benchmark (YCSB). YCSB is a platform that has been used to compare and benchmark similar NoSQL database systems. Both databases were given variable workloads to identify the throughput of all given operations. The results obtained shows that SSDB gives a better throughput for majority of operations to Redis’s performance.</p>


2013 ◽  
Vol 336-338 ◽  
pp. 1953-1956
Author(s):  
Qi Ming Lou ◽  
Ying Fang Li ◽  
Hong Wei Zhang

Computer room is an important infrastructure of information technology on education for colleges, how to balance the load, calculate fees flexibly, improve resource utilization, service for the teachers and students better is an urgent problem.Firstly, the development trends of computer room management systems are discussed in the paper. Secondly, gives a data model of open computer room management system, which in order to balance the load and improve the utilization efficiency etc. of computer rooms. Finally, gives the intelligent billing algorithm according to the designed data model, and then implemented the algorithm using stored procedure with SQL Server 2005.


Author(s):  
Л.Б. Эрштейн

В статье рассмотрена проблема организации дистанционного обучения на примере Microsoft Access в рамках курса информационных технологий. Автор задался целью представить авторскую методику дистанционного обучения информатике на основе универсальных информационно-технологических сред. Практическая значимость работы заключается в том, что показан способ синхронно-асинхронной организации учебного процесса, выявлены условия проектирования данного метода обучения, продемонстрирована его реализация на конкретном примере, выявлены проблемы, возникающие в процессе использования представленной модели обучения. Также приводятся мнения студентов о данной форме обучения. Теоретическая значимость работы состоит в том, что в ней обосновывается невозможность освоения в очном режиме целого ряда навыков и умений, в которых нуждаются обучающиеся. Но они могут получить необходимые знания в рамках представленной дистанционной модели обучения. Автор утверждает, что дистанционное обучение информационным технологиям является в разы более эффективной формой организации образовательного процесса, чем очное обучение. Основной новизной статьи является представленная методика обучения, основанная на использовании синхронно-асинхронной модели и универсальных информационно-технологических сред. The article considers the problem of organizing distance learning, using the example of Microsoft Access within the course of information technology. The article aims to present the author’s method of distance learning in IT ba ed on universal information technology environments. The practical significance of the work lies in the fact that the method of synchronous-asynchronous organization of training is shown; the conditions for the design of synchronous-asynchronous training have been identified; the implementation of such training is shown by a specific example; the problems that arise in the process of using the presented training model are identified. Moreover, we can see students’ opinions about this educational form; it is shown that, in general, students are positively disposed towards this format of learning. It is impossible to teach a whole range of skills and abilities necessary for students in full-time education unlike, however, using the presented distance learning model. This is the theoretical significance of the work. The author claims that distance learning in information technologies is a much more efficient form of organizing the educational process than full-time education. The novelty of the article lies in the presented teaching methodology based on the use of a synchronous-asynchronous model and universal information technology environments.


Author(s):  
Shefali Trushit Naik

This chapter describes the method to retrieve data from multiple heterogeneous distributed relational database management systems such as MySQL, PostgreSQL, MS SQL Server, MS Access, etc. into Oracle RDBMS using Oracle's Heterogeneous Gateway Services. The complete process starting from downloading and installation of required software, creation of data source names using open database connectivity, modification of system parameter files, checking connections, creation of synonyms for tables of remote databases into oracle, creation of database links and accessing data from non-oracle databases using database links is explained in great detail. Apart from this, data manipulation in remote databases from Oracle and execution of PL/SQL procedures to manipulate data residing on remote databases is discussed with examples. Troubleshooting common errors during this process is also discussed.


Author(s):  
Karl E. Misulis ◽  
Mark E. Frisse

Foundational knowledge of informatics includes a basic understanding of the operation of computers. This includes hardware design and function, programming, and networking basics. Although few clinical informatics professionals will personally design computers or write large programs, every professional should have an understanding of the capabilities and limitations of current information technology. Informatics professionals need basic familiarity with computer structure and function. Also, understanding programming and aspects of computer control and query language gives foundational knowledge of what is doable and what is not doable. Computers are composed of hardware and software. Hardware is the physical devices, and software is the operating instructions.


Sign in / Sign up

Export Citation Format

Share Document