Это приложение для Linux под названием Kiel University Relation package для запуска в Linux онлайн, последний выпуск которого можно загрузить как kure2-2.2.tar.gz. Его можно запустить онлайн в бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием Kiel University Relation package, чтобы бесплатно запускать в Linux онлайн с OnWorks.
Следуйте этим инструкциям, чтобы запустить это приложение:
- 1. Загрузил это приложение на свой компьютер.
- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 3. Загрузите это приложение в такой файловый менеджер.
- 4. Запустите онлайн-эмулятор OnWorks Linux или Windows или онлайн-эмулятор MACOS с этого веб-сайта.
- 5. В только что запущенной ОС OnWorks Linux перейдите в наш файловый менеджер https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 6. Скачайте приложение, установите его и запустите.
Пакет Kiel University Relation для запуска в Linux онлайн
Ad
ОПИСАНИЕ
Kure - это библиотека C, которая обеспечивает управление отношениями и операциями алгебры отношений с использованием быстрой реализации с использованием диаграммы двоичных решений. Он предоставляет встраиваемый язык программирования на основе предметно-ориентированной области Lua для удобного управления отношениями и работы с ними. Например, для заданных отношений R, S их кортеж можно вычислить с помощью [R, S], и их можно составить с помощью R * S.Особенности
- Представление и манипулирование произвольными большими отношениями, например 2 ^ 100 x 2 ^ 100.
- Реляционные константы: All, null, identity.
- Особые отношения: членство, частичные и полные функции, преемники, домен.
- Основные функции: присоединиться, встретиться, составить, дополнить, транспонировать.
- Сравнение отношений и сравнение отношений по мощности.
- Рефлексивные, симметричные и транзитивные замыкания.
- Левый и правый вычет и симметричное частное.
- Прямая сумма, кортеж, порядок продуктов и порядок сумм.
- Домены для двоичных прямых произведений и прямых сумм, включая функции проекции.
- Полностью скриптовый и расширяемый с помощью Lua.
- Доменно-ориентированный встроенный язык программирования для написания сценариев высокого уровня.
- Написано на C с использованием POSIX.
Аудитория
Наука / Исследования, Разработчики
Язык программирования
C, Луа, Yacc
Это приложение также можно загрузить с https://sourceforge.net/projects/kure/. Он размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
