Datalog

【论文研读】Better Together:Unifying Datalog and Equality Saturation

最近研究ReassociatePass整的头大，翻两篇Datalog的论文看看。今天看的一篇是比较新的文章，23年4月贴到arxiv上的。
被制作时长两年半的个人练习生·2024-02-06 04:24

docker-compose一键搭建zookeeper集群

/bin/bashmkdir-p"$PWD\zoo1\data"mkdir-p"$PWD\zoo1\datalog"mkdir-p"$PWD\zoo2\data"mkdir-p"$PWD\zoo2\datalog"mkdir-p
南京大学软工研究生·2024-01-12 19:24

【论文研读】Furthering Datalog in the pursuit of program analysis

最近准备开一个新坑，记录一下读过的一些论文，主要聚焦笔者在阅读过程中的感悟，一些重点算法的理解，以及笔者觉得可以改进的地方。本文为系列的第一篇，试试水先。本文选择的论文是FurtheringDataloginthepursuitofprogramanalysis。是一篇剑桥大学的博士论文，发现此文的契机是在对valuenumbering技术进行跟踪时发现了一篇2004年的APolynomial-T
被制作时长两年半的个人练习生·2024-01-03 02:34

Java和Android应用points-to analysis工具Doop的基本使用方法

首先，需要安装Soufflé这个工具（这是一个高效的Datalog引擎），我发现最靠谱的方法还是自己build以后安装：首先下载其源码：gitclonegit://github.com/souffle-lang
蛐蛐蛐·2024-01-03 02:33

【论文复现】Furthering Datalog in the pursuit of program analysis

Souffle安装Souffle是一个Datalog引擎，可以执行Datalog程序，支持将Datalog程序转换为C++程序。在站内有该引擎的安装教程。
被制作时长两年半的个人练习生·2024-01-03 02:33

47、Flink 的指标报告介绍（graphite、influxdb、prometheus、statsd和datalog）及示例（jmx和slf4j示例）

Flink系列文章一、Flink专栏Flink专栏系统介绍某一知识点，并辅以具体的示例进行说明。1、Flink部署系列本部分介绍Flink的部署、配置相关基础内容。2、Flink基础系列本部分介绍Flink的基础部分，比如术语、架构、编程模型、编程指南、基本的datastreamapi用法、四大基石等内容。3、FlikTableAPI和SQL基础系列本部分介绍FlinkTableApi和SQL的基
一瓢一瓢的饮 alanchan·2023-12-15 21:15

kafka 集群安装部署（最详细 zookeeper+kafka+生产者消费者验证）

目录Kafka集群规划一.Zookeeper集群准备1.下载2.解压并修改目录名称3.创建data和dataLog目录4.创建myid文件5.修改配置文件zoo.cfg6.赋权7.把修改的zookeeper
BoomLee·2023-11-05 23:53

Log4j 配置某个类中某个方法的输出日志到指定文件

在logback.xml中配置额外加入：${LOG_HOME}/data/dataLog.log%d{yyyy-MM-ddHH:mm:ss.SSS}[%thread]%-5level%logger{50
weixin_46776389·2023-10-06 05:41

《Zookeeper系列》Zookeeper伪分布式安装

Zookeeper伪分布式安装1.预备工作1.一台服务器2.伪分布式zookeeper1,2,33.创建zookeeper目录结构zoo_1/2/3用于存放节点的快照zoo_2_dataLog用于存放节点的事务日志
DATA数据猿·2023-08-28 05:13

easyExcel关于导入导出的用法及校验

easyExcel关于导入导出的用法及校验一、导入（一）controller层（二）service层（三）监听器二、导出引包：com.alibabaeasyexcel2.1.6一、导入（一）controller层@DataLog
HssC·2023-06-17 18:36

ZooKeeper 01 - 什么是ZooKeeper + 部署ZooKeeper集群

目录1什么是ZooKeeper2ZooKeeper的功能2.1配置管理2.2命名服务2.3分布式锁2.4集群管理3部署ZooKeeper集群3.1下载并解压安装包3.2创建data和datalog目录3.3
weixin_30800987·2023-04-03 05:08

知识图谱 方法、实践与应用 王昊奋 读书笔记（下）

知识图谱推理结合已有规则，推出新的事实，例如持有股份就能控制一家公司，孙宏斌持有融创的股份，那么可以推导出孙宏斌控制融创基于演绎的推理工具逻辑编程RDFFox:java实现，基于DataLog，依靠逻辑编程进行推理
weixin_37763484·2023-03-24 07:23

知识图谱-推理

知识图谱-推理–潘登同学的KG笔记文章目录知识图谱-推理--潘登同学的KG笔记前言基于符号逻辑的推理基于Ontology的推理典型本体推理算法：Tableaux算法基于Datalog的符号推理基于产生式规则的推理
PD我是你的真爱粉·2023-03-22 07:09

用 Goalng 开发 OPA 策略

它使用Rego语言开发，Rego的灵感来自Datalog，它是一种易于理解、已有数十年的历史的查询语言。Rego扩展了Datalog以支持JSON等文档模型。对于它的
孙兴芳·2023-01-27 00:09

ceph rgw 双活数据同步

答：先从datalog.sync-sta
小跑001·2021-11-11 09:52

docker部署zookeeper+kafka集群

zookeeper部署Docker镜像dockerpullzookeeper:3.6.2集群服务规划节点IP数据目录访问端口通信端口选举端口3.1.101.33/data/zookeeper/{data,conf,datalog
WAIT_TIME·2021-04-09 13:34

都是hibernate的datalog属性搞的鬼

hibernate时碰到一个问题,调用类及相关方法时老是出错.认真查看了类及方法本身,确定是没有问题的.那么问题一定是出在映射文件上.经过非常细致地查找才发现,与原来可以用的映射文件相比,出错的映射文件头部多了datalog
linhonglong·2020-09-17 12:12

Mac上通过docker-compose搭建Kafka学习环境

/zookeeper/datalog:/datalog"kafk
行人逆旅·2020-09-15 21:28

oozie

驴妈妈旅游网架构：1.日志上传：方法1：定义shell脚本$bin/hdfsdfs-put/user/local/nginx/datalog/access.log/nginx方法2：使用日志采集框架flume2
Vanessa_wanglu·2020-09-13 06:59

【Go】类似csv的数据日志组件设计

它们是公司收入结算的主要依据，也是数据分析部门主要得数据源，针对这么重要的日志，且高频率的日志，我们需要一个高性能且安全的日志组件，能保证每行日志格式完整性，我们设计了一个类csv的日志拼接组件，它的代码在这里datalog
thinkeridea·2020-08-24 14:06

hadoop集群之间数据传输

hadoopfs-cphdfs://10.254.20.126:9000/datalog/stats/gz/2017/03hdfs://10.254.32.18:9000/user/huiyuanHuang
hunter127·2020-08-16 20:04

Docker搭建zookeeper + kafka集群(Mac)

如需高可用，则最好部署多台zk节点默认容器内配置文件在/conf/zoo.cfg，数据和日志目录默认在/data和/datalog，需要的话可以将上述目录映射到宿主机的可靠文件目录下dockerrun-d
我自横刀向天笑-去留肝胆两昆仑·2020-08-16 02:40

Docker 里面运行 Kafka

mp.csdn.net/postedit/84646084]dockerrun-d-p12181:2181-v/var/local/zookeeper/data:/data-v/var/local/zookeeper/datalog
鲁尼的小宝贝·2020-08-16 00:58

docker搭建kafka集群

/{zoo1/{data,datalog},zoo2/{data,datalog},zoo3/{data,datalog}}-p[root@warship~]#mkdir.
对World说Hello·2020-08-15 23:39

MySQL 线上配置文件

default-character-set=utf8user=mysqlport=3306socket=/tmp/mysql.sockbasedir=/usr/local/mysqldatadir=/data/mysql/datalog-error
weixin_33713707·2020-08-14 11:21

spark sql 的catalyst优化器

需求：根据datalog解析出各个表、列名、以及根据表的join次数评选出热点表排名实现解析:sparksql的catalyst优化器过程解析：sparksql的执行经历了以下几个阶段1.parse(解析
一只考考拉·2020-08-13 21:20

zookeeper 清理snapshot及事务日志.md

2.zk日志介绍dataDir=/datab//快照日志dataLogDir=/datalog//事务日志dataLogDir如果没提供的话使用的则是dataDir。
jieniyimiao·2020-08-05 02:56

Mac安装zookeeper

mirrors.hust.edu.cn/apache/zookeeper/zookeeper-3.4.14/我是下载到/local/zk下，然后解压，重命名为zookeeper-1进入zookeeper-1下新建两个文件夹data和dataLog
外面雨好大·2020-08-04 08:31

Oracle 12c 创建表空间和用户并为用户授权

test_temp1.dbf'size10mautoextendonnext10mmaxsize50mextentmanagementlocal;创建数据表空间createtablespacetest_datalog
weixin_30364325·2020-07-15 15:20

ElasticSearch + Canal搭建搜索系统(整理中)

https://github.com/alibaba/canal/releases二、Zookeeper集群安装主要是zoo.cfg中修改如下配置，从sample赋值过来配置后修改；以及创建data,dataLog
seapeak007·2020-07-14 22:49

在linux运行中出项mysql起动报错The server quit without updating PID file (/usr/local/mysql/data/

我的mysql版本是mysql5.6.40我的方法是重新配置my.cnfvi/etc/my.cnf#在[mysqld]中添加：datadir=/usr/local/mysql/datalog-error
zgkf·2020-07-11 18:08

windows下dubbo-admin2.6.x之后版本的安装

conf下的zoo_sample.cfg改zoo.cfgzoo.cfg里添加配置dataDir=G:/zookeeper-3.5.5/datadataLogDir=G:/zookeeper-3.5.5/datalog
buzul·2020-07-09 14:46

Dubbo+Zookeeper demo实现

文件夹下新建server1、server2、server3三个文件夹3、复制解压后的zookeeper文件夹到server1、server2、server3这三个文件夹下4、再分别在这三个文件夹下创建data、dataLog
woneybalabala·2020-07-07 20:40

四、Pandas小结（2）

#数据清洗#一、处理缺失数据importpandasaspdlog_data=pd.read_csv('log.csv')log_datalog_data.isnull()log_data['paused
爱看球的领带·2020-07-07 12:22

windows搭建ZooKeeper集群+Kafka(傻瓜版)

zookeeper/zookeeper-3.3.6/2.集群配置1.将解压后的zookeeper文件夹,复制三份,分别命名为server1,server2,server3;2.在当前目录下建立两个文件夹data和dataLog
菊花超人·2020-06-29 19:03

一台机器上安装zookeeper+kafka集群

.zookeeper配置$sudomkdir-p/opt/server/zookeeper/server1/data$sudomkdir-p/opt/server/zookeeper/server1/dataLog
虎城威威·2020-06-27 06:50

【知识图谱】知识推理

satisfiability)（2）分类(classification)（3）实例化二、本体推理方法与工具介绍1、基于Tableaux运算的方法（1）概述（2）示例（3）相关工具介绍2、基于逻辑编程改写的方法（1）概述（2）Datalog
__盛夏光年__·2020-06-27 04:39

DDlog语言特征

原文地址：这里写链接内容DDlog是一种语法为datalog式，用来编写DeepDive应用的语言。一个ddlog程序会被编译成deepdive格式下的配置文件，我们通常用这个文件来运行我们的应用。
皓波·2020-06-25 04:30

mysqldump全量备份+mysqlbinlog二进制日志增量备份

mysqldump数据库增量备份前提：1>要开启mysqllog-bin日志功能，若没有开启则，修改配置文件/etc/my.cnf，添加如下内容：[mysqld]datadir=/var/lib/mysql/datalog-bin
我听过·2020-05-04 18:00

Datomic/Datalog函数式数据库

//onxy+datomic(datalog)的体系架构数据库即值http://www.infoq.com/cn/news/2013/06/database-value在QConNewYork2013上
葡萄喃喃呓语·2020-03-22 11:59

ceph rgw：put obj实现

目录：前言Atomic类型对象Multipart类型对象附录前言宏观上，我们知道：上传一个对象到rgw，要写多个地方（开启bilog和datalog的话）：.rgw.buckets.datapool中加入一个名为
chnmagnus·2020-03-19 05:24

Docker安装zookeeper集群

-p3888:3888--namezk1--restartalways-v/app/zookeeper/volume/data:/data-v/app/volume/zookeeper/volume/datalog
soane1983·2020-03-17 07:26

Datalog

//onyx,datomic,datalog,全栈工程师数据库系统原理与应用教程（第三版）第8章Datalog语言-讲义教程-道客巴巴http://www.doc88.com/p-580425621566
葡萄喃喃呓语·2020-03-14 09:45

[tips]Cascalog--datalog方言

//homeCascalog|Cascadinghttp://www.cascading.org/projects/cascalog/[home]http://www.cascalog.org/[wiki]Home·nathanmarz/cascalogWiki·GitHubhttps://github.com/nathanmarz/cascalog/wiki#documentation推荐一个最
葡萄喃喃呓语·2020-02-24 06:48

zookeeper环境搭建

zookeeper/zookeeper3以上三个目录为三个zookeeper实例的根目录/opt/zookeeper/zookeeper1/data/opt/zookeeper/zookeeper1/datalog
hexg1016·2020-02-24 01:25

MongoDB 的使用

从官网下载msi安装文件，安装成功后安装过程会自动生成datalog两个文件夹安装完成后使用管理员方式打开cmdcd到你安装的mmongodb路径下的bin路径下使用mongod命令指定数据库的路径，注意这个
凌烟阁主5221·2020-02-09 21:43

Mongo的安装、授权、恢复、备份实战

Mongo基本信息所在服务器：10.58.57.5data存放路径：/usr/local/mongodb/datalog存放路径：/user/local/mongodb/logdiamon存放地址：/user
midday·2019-12-26 20:45

zookeeper伪集群（在一台机器上集群）

创建一下的目录结构zookeeper-3.4.10是你下载的zookeeper的解压包/zookeeper_cluster----/server_one|---/data|myid(文件)|---/datalog
和谐共处·2019-11-02 00:32

Tensorflow细节-P309-高维向量可视化

importmatplotlib.pyplotaspltimporttensorflowastfimportnumpyasnpimportosfromtensorflow.examples.tutorials.mnistimportinput_dataLOG_DIR
博博的Blog·2019-10-14 12:00

【Go】类似csv的数据日志组件设计

它们是公司收入结算的主要依据，也是数据分析部门主要得数据源，针对这么重要的日志，且高频率的日志，我们需要一个高性能且安全的日志组件，能保证每行日志格式完整性，我们设计了一个类csv的日志拼接组件，它的代码在这里datalog
thinkeridea·2019-07-21 00:00
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他