scholarly journals Foundations of Declarative Data Analysis Using Limit Datalog Programs

2017 ◽  
Author(s):  
Mark Kaminski ◽  
Bernardo Cuenca Grau ◽  
Egor V. Kostylev ◽  
Boris Motik ◽  
Ian Horrocks
Keyword(s):  
Information Systems ◽  
Data Analysis ◽  
Arithmetic Functions ◽  
Data Complexity ◽  
Additional Stability ◽  
Sound Foundation

Motivated by applications in declarative data analysis, we study DatalogZ---an extension of positive Datalog with arithmetic functions over integers. This language is known to be undecidable, so we propose two fragments. In limit DatalogZ predicates are axiomatised to keep minimal/maximal numeric values, allowing us to show that fact entailment is coNExpTime-complete in combined, and coNP-complete in data complexity. Moreover, an additional stability requirement causes the complexity to drop to ExpTime and PTime, respectively. Finally, we show that stable DatalogZ can express many useful data analysis tasks, and so our results provide a sound foundation for the development of advanced information systems.

scholarly journals The Complexity and Expressive Power of Limit Datalog

2022 ◽  
Vol 69 (1) ◽  
pp. 1-83
Author(s):  
Mark Kaminski ◽  
Egor V. Kostylev ◽  
Bernardo Cuenca Grau ◽  
Boris Motik ◽  
Ian Horrocks
Keyword(s):  
Data Analysis ◽  
Expressive Power ◽  
Arithmetic Functions ◽  
Linear Programs ◽  
Data Complexity ◽  
Descriptive Complexity ◽  
Data Intensive ◽  
Additional Stability ◽  
Decidability And Complexity ◽  
The Impact

Motivated by applications in declarative data analysis, in this article, we study Datalog Z —an extension of Datalog with stratified negation and arithmetic functions over integers. This language is known to be undecidable, so we present the fragment of limit Datalog Z programs, which is powerful enough to naturally capture many important data analysis tasks. In limit Datalog Z , all intensional predicates with a numeric argument are limit predicates that keep maximal or minimal bounds on numeric values. We show that reasoning in limit Datalog Z is decidable if a linearity condition restricting the use of multiplication is satisfied. In particular, limit-linear Datalog Z is complete for Δ 2 EXP and captures Δ 2 P over ordered datasets in the sense of descriptive complexity. We also provide a comprehensive study of several fragments of limit-linear Datalog Z . We show that semi-positive limit-linear programs (i.e., programs where negation is allowed only in front of extensional atoms) capture coNP over ordered datasets; furthermore, reasoning becomes coNEXP-complete in combined and coNP-complete in data complexity, where the lower bounds hold already for negation-free programs. In order to satisfy the requirements of data-intensive applications, we also propose an additional stability requirement, which causes the complexity of reasoning to drop to EXP in combined and to P in data complexity, thus obtaining the same bounds as for usual Datalog. Finally, we compare our formalisms with the languages underpinning existing Datalog-based approaches for data analysis and show that core fragments of these languages can be encoded as limit programs; this allows us to transfer decidability and complexity upper bounds from limit programs to other formalisms. Therefore, our article provides a unified logical framework for declarative data analysis which can be used as a basis for understanding the impact on expressive power and computational complexity of the key constructs available in existing languages.

scholarly journals The mediating effect of big data analysis on the process orientation and information system software to improve supply chain process in Saudi Arabian industrial organizations

2021 ◽  
pp. 135-142 ◽  
Author(s):  
Ahmed Faek Elgendy
Keyword(s):  
Big Data ◽  
Supply Chain ◽  
Information Systems ◽  
Data Analysis ◽  
Saudi Arabian ◽  
Big Data Analysis ◽  
Chain Process ◽  
Process Orientation ◽  
Industrial Organizations ◽  
Supply Chain Process

This study aims to investigate the nature of the relationship between Big Data Analysis as a mediator in Process Orientation (PO) and Information Systems Programming (ISP) to supply chains processes in Saudi Arabian industrial organizations. A stratified random sample of 357 managers and employees working in 37 industrial companies in Saudi Arabia was tested. The study relied on the descriptive and analytical research methodology. The results indicated that there is a significant indirect effect of Big Data Analysis (Planning, Procuring, Manufacturing, Delivering) as the mediator on Process Orientation and Information Systems Programming (ISP) and (PO) to improve supply chain process as well as organizational effectiveness. The researcher made a number of recommendations for the Saudi Arabian manufacturing firms to develop analytical capabilities in managers in order to utilize big data analysis as a tool to increase efficiency and effectiveness in the organizational system. A wide spread awareness program about the benefits to adopt big data analysis and management information systems may be adopted to ensure an efficient supply chain system.

scholarly journals Relationship between accounting information systems implementation and corporate governance of rural banks in Indonesia

2019 ◽  
Vol 2 (1) ◽  
pp. 10
Author(s):  
Rima Rachmawati
Keyword(s):  
Corporate Governance ◽  
Information Systems ◽  
Data Analysis ◽  
Financial Reporting ◽  
Accounting Information ◽  
Accounting Information Systems ◽  
Central Java ◽  
Systems Implementation ◽  
Good Corporate Governance ◽  
Information Systems Implementation

The purpose of this paper is to examine the relationship between accounting information systems implementation and the governance of rural banks (bank perkreditan rakyat/BPR). Specifically, this study examines the effect of bookkeeping systems, financial reporting, budgeting systems, and IFRS for SMEs implementation on good corporate governance of rural banks.   PLS-SEM wasemployed for data analysis to 145 rural banks registered in Regional Owned Bank Association of Central Java Indonesia. The results of data analysis found that bookkeeping systems, financial reporting and budgeting systems implemetation positively affectgood corporate governance of rural banks, while IFRS for SMEs implementation was not significantly affectgood corporate governance of rural banks.   

scholarly journals Sebaran Hutan Mangrove di Wilayah Pesisir Tobelo menggunakan Sistem Informasi Geografis

2021 ◽  
Vol 1 (3) ◽  
pp. 28
Author(s):  
Kristin Gloria Lebo ◽  
Joyce Christian Kumaat ◽  
Denny Maliangkay
Keyword(s):  
Information Systems ◽  
Data Analysis ◽  
Geographic Information Systems ◽  
Coastal Area ◽  
Mangrove Forest ◽  
Image Data ◽  
Research Data ◽  
Landsat 7 ◽  
Level 1 ◽  
Forest Distribution

The aim of this research is to make a map of mangrove forest distribution and to know the dynamics of mangrove forest distribution in the coastal area of Tobelo, North Halmahera Regency. The method used is descriptive quantitative and data analysis using Geographic Information Systems (GIS) with ArGis 10.6 software. The research data were processed from the base map and Landsat 7 imagery data for the period 2000-2020. The result of the analysis shows that there is a change in the distribution of the mangrove coastal mangrove Tobelo within 20 years. In the Landsat 7 level 1 image data, from 2000-2015 the mangrove forest experienced a lot of reduction, while in 2020 the mangrove forest on the Tobelo coast experienced an increase compared to previous years.

scholarly journals ANALISIS MEDIASI PRESTASI BELAJAR PADA PENGARUH KUALITAS LAYANAN TERHADAP KEPUASAN MAHASISWA (STUDI PADA MAHASISWA UNIVERSITAS ISLAM MALANG).

2020 ◽  
Vol 5 (1) ◽  
pp. 31
Author(s):  
Fuji Santoso
Keyword(s):  
Information System ◽  
Information Systems ◽  
Data Analysis ◽  
Service Quality ◽  
Student Satisfaction ◽  
Survey Methods ◽  
Service Reliability ◽  
Learning Achievement ◽  
Assurance Services ◽  
Software Program

Tujuan penelitian ini untuk Menganalisis Mediasi Prestasi Belajar Pada Pengaruh Kualitas Layanan Terhadap Kepuasan Mahasiswa (Studi Pada Mahasiswa Universitas Islam Malang). Dimana Kualitas Layanan sebagai variabel X terdiri dari enam variabel, yaitu Layanan Fisik (tangible), Kehandalan (reability), Ketanggapan (responsive), Jaminan (assurance), Empati (empathy) dan System Informasi. Populasi dalam penelitian ini adalah seluruh Mahasiswa UNISMA. Maka penelitian ini adalah penelitian Kuantitatif, yang menggunakan metode survai dengan mengambil sampel dari suatu populasi dan menggunakan angket atau kuesioner sebagai alat pengumpul data yang utama, dengan jumalah 175 responden. Teknik analisis data dalam penelitian ini menggunakan Uji instumen, Uji Normalitas, Analisis Data, Uji Hipotesis Uji t dan Sobel. software Program SPSS versi 16 For Windows.Hasil penelitian menunjukkan bahwa Kualitas Layanan Fisik (tangible), Layanan Kehandalan (reability), Layanan Ketanggapan (Responsive), layanan jaminan (assurance) dan Layanan Empati (empathy) tidak berpengaruh dan tidak signifikan terhadap Prestasi Belajar, hanya Layanan Kehandalan (reability) berpengaruh dan signifikan terhadap Prestasi Belajar. Hasil penelitian menunjukkan bahwa layanan fisik (tangible), layanan kehandalan (reability), Layanan Ketanggapan (Responsive), layanan jaminan (assurance) dan Layanan Empati (empathy) tidak berpengaruh dan tidak signifikan terhadap Kepuasan Mahasiswa hanya Layanan informasi system yang berpengaruh dan signifikan terhadap Kepuasan Mahasiswa. Hasil penelitian menunjukkan bahwa Prestasi Belajar berpengaruh dan signifikan terhadap Kepuasan Mahaiswa. Prestasi Belajar Tidak Memediasi Pengaruh Kualitas Layanan layanan fisik (tangible), Layanan Ketanggapan (Responsive), layanan jaminan (assurance), Layanan Empati (empathy) dan informasi syst.em Pada Kepuasan Mahasiswa, Prestasi Belajar Memediasi Pengaruh Kualitas Layanan Kehandalan (reability) Pada Kepuasan Mahasiswa. Kata Kunci: Layanan, Fasilitas, Layanan Fisik, Kehandalan, Ketanggapan, Jaminan, Empati, System Informasi, Prestasi Belajar dan Kepuasan Mahasiswa. The purpose of this study is to Analyze the Mediation of Learning Achievements in the Effect of Service Quality on Student Satisfaction (Study of Malang Islamic University Students).  Where Service Quality as variable X consists of six variables, namely physical services, reliability, responsiveness, assurance, empathy and information systems.  The population in this study were all UNISMA students.  So this research is quantitative research, which uses survey methods by taking samples from a population and using questionnaires or questionnaires as the main data collection tool, with a total of 175 respondents.  The data analysis technique in this study used the Instrument Test, Normality Test, Data Analysis, Test of Hypothesis T and Sobel.  SPSS version 16 For Windows software program. The results showed that the quality of physical services, service reliability, service responsiveness, assurance services and services Empathy had no effect and were not significant towards Learning Achievement, only the service Reliability influential and significant to Learning Achievement.  The results showed that tangible services, reliability services, responsiveness services, assurance services and Empathy services did not influence and were not significant towards Student Satisfaction, only information system services that had an effect on and significantly affected Student Satisfaction.  The results of the study showed that Learning Achievement had significant and significant effect on Student Satisfaction.  Learning Achievement Does Not Mediate the Effect of Physical Service Quality, Responsiveness, Assurance services, Empathy Service and information system on Student Satisfaction, Learning Achievement Mediates the Effect of Service Quality Reliability on Student Satisfaction. Keywords: Services, Facilities, Physical Services, Reliability, Responsiveness, Assurance, Empathy, Information Systems, Learning Achievement and Student Satisfaction.

scholarly journals Handling Interpretation and Representation in Multilingual Research: A Meta-study of Pragmatic Issues Resulting from the Use of Multiple Languages in a Qualitative Information Systems Research Work

2015 ◽  
Author(s):  
Ilse Baumgartner
Keyword(s):  
Qualitative Research ◽  
Information Systems ◽  
Data Analysis ◽  
Research Work ◽  
Methodological Issues ◽  
Qualitative Information ◽  
Research Product ◽  
Systems Research ◽  
Information Systems Research ◽  
Multilingual Research

Although the number of multilingual qualitative research studies appears to be growing, investigations concerned with methodological issues arising from the use of several languages within a single research are still very scarce. Most of these seem to deal exclusively with issues related to the use of interpreters and translators in qualitative research (e.g., Temple & Edwards, 2002; Temple, Edwards & Alexander, 2006; Edwards, 1998; Temple & Young 2004). Methodological investigations going beyond pure translation dilemmas in qualitative research are, however, almost non-existent. The reason for this seems to be simple: the situation where the researcher possesses mother-tongue fluency in all or most of the languages used in a particular study – and, thus, is in a position to probe interpretational and representational problematics related to the multilingual character of this study with an adequate depth – is very rare. The author of this paper has used her recent qualitative research work in the area of Information Systems as the basis for a meta-study in which she investigates selected methodological issues resulting from the use of five different languages within the frame of a single research work. This paper specifically focuses on challenges encountered and observations made concerning three different issues, namely, how to choose the interview languages in a situation where the prospective interviewees have very diverse ethnic backgrounds, which languages to use for the data analysis in a situation where the data has been collected in several different languages, and how to determine the most appropriate stage of the research for transitioning from the languages used to collect and analyze the data to the language of the final research product. Although this meta-study is based on an Information Systems research work and is, thus, specifically addressing qualitative Information Systems researchers conducting multilingual research and encountering language-related issues in their work, this study might also be of interest to any researcher using qualitative research methodologies and employing more than one language to collect data, conduct data analysis, and craft the final research product.

scholarly journals Information Systems in Support of the Decision-Making Tools

2021 ◽  
pp. 127-131
Author(s):  
Keyword(s):  
Decision Making ◽  
Information Technology ◽  
Information Systems ◽  
Data Analysis ◽  
Data Collection ◽  
Information Exchange ◽  
Specific Information ◽  
The World ◽  
Collection Data ◽  
Reporting Data

AbstractDevelopment and dissemination of the information technology throughout the world, as well as the convention potentials for rapid information exchange, primarily via Internet-based platforms, enable for rapid reporting, data collection, data analysis and situation-based decision-making. Such a workflow is especially important in management of rapidly developing emergencies, including NREs. IAEA has already established several such platforms and is intensively working on the improvements and upgrades of the existing ones, as well as on the development of new, sector-specific information platforms. This chapter gives information on the currently existing/developing IAEA platforms for management of NREs.

Ethically Building Business Intelligence in Healthcare

2020 ◽  
pp. 256-278
Author(s):  
Majid Dadgar ◽  
K. D. Joshi
Keyword(s):  
Information Systems ◽  
Data Analysis ◽  
Data Collection ◽  
Business Intelligence ◽  
Medical Data ◽  
Value Sensitive Design ◽  
Data Reporting ◽  
Healthcare Data ◽  
A Value ◽  
Collection Data

This chapter advocates the use of a value-sensitive design (VSD) approach toward deriving patient intelligence by illustrating that the insights provided by the healthcare data that captures patients' concerns, needs, and desires—known as values—provide more sustainable care. Authors examine three cases extracted from top information systems (IS) peer-reviewed journals in which medical data is collected and analyzed and in which intelligence is derived through a VSD framework. VSD is a three-part methodology that comprises conceptual, empirical, and technical investigations. This chapter investigates the value sensitivity of the following key activities and tasks that result in intelligence from data: data collection, data analysis, and data reporting.

Sign in / Sign up

Export Citation Format

Share Document